; search time: 0.01
; plan length: 11
(switch_on instrument3 satellite1)
(calibrate satellite1 instrument3 star0)
(turn_to satellite0 phenomenon5 star4)
(turn_to satellite1 phenomenon7 star0)
(take_image satellite1 phenomenon7 instrument3 spectrograph2)
(turn_to satellite1 phenomenon5 phenomenon7)
(take_image satellite1 phenomenon5 instrument3 spectrograph2)
(turn_to satellite1 star4 phenomenon5)
(take_image satellite1 star4 instrument3 spectrograph2)
(turn_to satellite1 star3 star4)
(take_image satellite1 star3 instrument3 infrared0)
