(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 instrument0 image1 spectrograph2 thermograph0 Star0 GroundStation1 GroundStation2 Phenomenon3 Phenomenon4 Star5 Phenomenon6 ) (:init (satellite satellite0) (instrument instrument0) (supports instrument0 thermograph0) (calibration_target instrument0 GroundStation2) (on_board instrument0 satellite0) (power_avail satellite0) (pointing satellite0 Phenomenon6) (mode image1) (mode spectrograph2) (mode thermograph0) (direction Star0) (direction GroundStation1) (direction GroundStation2) (direction Phenomenon3) (direction Phenomenon4) (direction Star5) (direction Phenomenon6) ) (:goal (and (have_image Phenomenon4 thermograph0) (have_image Star5 thermograph0) (have_image Phenomenon6 thermograph0) )) )