; search time: 0.01
; plan length: 44
(switch_on instrument4 satellite1)
(calibrate satellite1 instrument4 star4)
(switch_on instrument0 satellite0)
(turn_to satellite1 phenomenon21 star4)
(take_image satellite1 phenomenon21 instrument4 thermograph2)
(turn_to satellite1 planet20 phenomenon21)
(take_image satellite1 planet20 instrument4 thermograph2)
(turn_to satellite1 star19 planet20)
(take_image satellite1 star19 instrument4 thermograph2)
(turn_to satellite1 star15 star19)
(take_image satellite1 star15 instrument4 infrared3)
(turn_to satellite1 star14 star15)
(take_image satellite1 star14 instrument4 thermograph2)
(turn_to satellite1 planet11 star14)
(take_image satellite1 planet11 instrument4 infrared3)
(turn_to satellite1 planet10 planet11)
(take_image satellite1 planet10 instrument4 thermograph2)
(turn_to satellite1 phenomenon24 planet10)
(take_image satellite1 phenomenon24 instrument4 infrared0)
(turn_to satellite1 star7 phenomenon24)
(take_image satellite1 star7 instrument4 infrared0)
(turn_to satellite1 planet5 star7)
(take_image satellite1 planet5 instrument4 infrared0)
(turn_to satellite0 star23 planet16)
(turn_to satellite0 star0 star23)
(calibrate satellite0 instrument0 star0)
(turn_to satellite0 star23 star0)
(take_image satellite0 star23 instrument0 spectrograph4)
(turn_to satellite0 star22 star23)
(take_image satellite0 star22 instrument0 infrared1)
(turn_to satellite0 star18 star22)
(take_image satellite0 star18 instrument0 spectrograph4)
(turn_to satellite0 phenomenon17 star18)
(take_image satellite0 phenomenon17 instrument0 spectrograph4)
(turn_to satellite0 planet16 phenomenon17)
(take_image satellite0 planet16 instrument0 infrared1)
(turn_to satellite0 phenomenon13 planet16)
(take_image satellite0 phenomenon13 instrument0 spectrograph4)
(turn_to satellite0 star9 phenomenon13)
(take_image satellite0 star9 instrument0 spectrograph4)
(turn_to satellite0 planet8 star9)
(take_image satellite0 planet8 instrument0 infrared1)
(turn_to satellite0 phenomenon6 planet8)
(take_image satellite0 phenomenon6 instrument0 spectrograph4)
