; search time: 0.10
; plan length: 12
(turn_to satellite0 star1 star4)
(switch_on instrument0 satellite0)
(calibrate satellite0 instrument0 star1)
(turn_to satellite0 phenomenon7 star1)
(take_image satellite0 phenomenon7 instrument0 spectrograph2)
(turn_to satellite0 star3 phenomenon7)
(take_image satellite0 star3 instrument0 infrared0)
(turn_to satellite0 star4 star3)
(take_image satellite0 star4 instrument0 spectrograph2)
(turn_to satellite0 phenomenon5 star4)
(take_image satellite0 phenomenon5 instrument0 spectrograph2)
(solve-goal)
