Optimal maneuver sequence for Koreasat 1 recovery