; search time: 4.73
; plan length: 18
(turn_to satellite1 star2 star0)
(switch_on instrument1 satellite1)
(calibrate satellite1 instrument1 star2)
(turn_to satellite1 phenomenon8 star2)
(take_image satellite1 phenomenon8 instrument1 thermograph2)
(turn_to satellite1 phenomenon9 phenomenon8)
(take_image satellite1 phenomenon9 instrument1 infrared0)
(turn_to satellite1 planet3 phenomenon9)
(take_image satellite1 planet3 instrument1 infrared1)
(turn_to satellite1 star4 planet3)
(take_image satellite1 star4 instrument1 infrared1)
(turn_to satellite1 star6 star4)
(take_image satellite1 star6 instrument1 infrared1)
(turn_to satellite1 star7 star6)
(take_image satellite1 star7 instrument1 infrared0)
(turn_to satellite1 planet5 star7)
(take_image satellite1 planet5 instrument1 thermograph2)
(solve-goal)
