(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	instrument4 - instrument
	satellite2 - satellite
	instrument5 - instrument
	instrument6 - instrument
	instrument7 - instrument
	satellite3 - satellite
	instrument8 - instrument
	instrument9 - instrument
	satellite4 - satellite
	instrument10 - instrument
	instrument11 - instrument
	instrument12 - instrument
	satellite5 - satellite
	instrument13 - instrument
	instrument14 - instrument
	instrument15 - instrument
	satellite6 - satellite
	instrument16 - instrument
	satellite7 - satellite
	instrument17 - instrument
	instrument18 - instrument
	satellite8 - satellite
	instrument19 - instrument
	satellite9 - satellite
	instrument20 - instrument
	instrument21 - instrument
	instrument22 - instrument
	satellite10 - satellite
	instrument23 - instrument
	instrument24 - instrument
	satellite11 - satellite
	instrument25 - instrument
	instrument26 - instrument
	instrument27 - instrument
	satellite12 - satellite
	instrument28 - instrument
	instrument29 - instrument
	instrument30 - instrument
	satellite13 - satellite
	instrument31 - instrument
	instrument32 - instrument
	instrument33 - instrument
	satellite14 - satellite
	instrument34 - instrument
	image4 - mode
	image3 - mode
	thermograph0 - mode
	thermograph1 - mode
	thermograph2 - mode
	Star0 - direction
	GroundStation3 - direction
	GroundStation2 - direction
	Star4 - direction
	Star1 - direction
	Phenomenon5 - direction
	Planet6 - direction
	Planet7 - direction
	Planet8 - direction
	Planet9 - direction
	Planet10 - direction
	Planet11 - direction
	Phenomenon12 - direction
	Planet13 - direction
	Star14 - direction
	Planet15 - direction
	Planet16 - direction
	Planet17 - direction
	Phenomenon18 - direction
	Star19 - direction
	Planet20 - direction
	Star21 - direction
	Star22 - direction
	Planet23 - direction
	Planet24 - direction
	Planet25 - direction
	Star26 - direction
	Phenomenon27 - direction
	Planet28 - direction
	Planet29 - direction
	Phenomenon30 - direction
	Star31 - direction
	Phenomenon32 - direction
	Star33 - direction
	Phenomenon34 - direction
	Phenomenon35 - direction
	Phenomenon36 - direction
	Phenomenon37 - direction
	Planet38 - direction
	Star39 - direction
	Planet40 - direction
	Planet41 - direction
	Phenomenon42 - direction
	Star43 - direction
	Planet44 - direction
	Phenomenon45 - direction
	Phenomenon46 - direction
	Phenomenon47 - direction
	Planet48 - direction
	Planet49 - direction
	Phenomenon50 - direction
	Planet51 - direction
	Planet52 - direction
	Phenomenon53 - direction
	Star54 - direction
	Planet55 - direction
	Star56 - direction
	Star57 - direction
	Phenomenon58 - direction
	Phenomenon59 - direction
	Star60 - direction
	Planet61 - direction
	Planet62 - direction
	Planet63 - direction
	Planet64 - direction
	Phenomenon65 - direction
	Star66 - direction
	Star67 - direction
	Phenomenon68 - direction
	Phenomenon69 - direction
	Planet70 - direction
	Phenomenon71 - direction
	Star72 - direction
	Phenomenon73 - direction
	Planet74 - direction
	Planet75 - direction
	Phenomenon76 - direction
	Planet77 - direction
	Phenomenon78 - direction
	Planet79 - direction
	Planet80 - direction
	Star81 - direction
	Planet82 - direction
	Phenomenon83 - direction
	Star84 - direction
	Phenomenon85 - direction
	Star86 - direction
	Phenomenon87 - direction
	Phenomenon88 - direction
	Star89 - direction
	Phenomenon90 - direction
	Star91 - direction
	Star92 - direction
	Planet93 - direction
	Phenomenon94 - direction
	Star95 - direction
	Phenomenon96 - direction
	Planet97 - direction
	Planet98 - direction
	Phenomenon99 - direction
	Phenomenon100 - direction
	Planet101 - direction
	Planet102 - direction
	Phenomenon103 - direction
	Phenomenon104 - direction
	Phenomenon105 - direction
	Phenomenon106 - direction
	Planet107 - direction
	Phenomenon108 - direction
	Planet109 - direction
	Phenomenon110 - direction
	Planet111 - direction
	Planet112 - direction
	Phenomenon113 - direction
	Planet114 - direction
	Planet115 - direction
	Phenomenon116 - direction
	Phenomenon117 - direction
	Phenomenon118 - direction
	Star119 - direction
	Star120 - direction
	Star121 - direction
	Planet122 - direction
	Planet123 - direction
	Phenomenon124 - direction
	Planet125 - direction
	Planet126 - direction
	Planet127 - direction
	Planet128 - direction
	Star129 - direction
	Phenomenon130 - direction
	Star131 - direction
	Phenomenon132 - direction
	Star133 - direction
	Phenomenon134 - direction
	Planet135 - direction
	Star136 - direction
	Phenomenon137 - direction
	Star138 - direction
	Star139 - direction
	Planet140 - direction
	Planet141 - direction
	Phenomenon142 - direction
	Planet143 - direction
	Planet144 - direction
	Phenomenon145 - direction
	Star146 - direction
	Phenomenon147 - direction
	Planet148 - direction
	Star149 - direction
	Star150 - direction
	Phenomenon151 - direction
	Phenomenon152 - direction
	Planet153 - direction
	Star154 - direction
	Phenomenon155 - direction
	Planet156 - direction
	Phenomenon157 - direction
	Planet158 - direction
	Phenomenon159 - direction
	Phenomenon160 - direction
	Star161 - direction
	Star162 - direction
	Planet163 - direction
	Phenomenon164 - direction
	Phenomenon165 - direction
	Phenomenon166 - direction
	Star167 - direction
	Star168 - direction
	Planet169 - direction
	Phenomenon170 - direction
	Star171 - direction
	Planet172 - direction
	Planet173 - direction
	Planet174 - direction
	Star175 - direction
	Star176 - direction
	Star177 - direction
	Star178 - direction
	Planet179 - direction
	Phenomenon180 - direction
	Star181 - direction
	Planet182 - direction
	Phenomenon183 - direction
	Planet184 - direction
	Phenomenon185 - direction
	Star186 - direction
	Star187 - direction
	Star188 - direction
	Planet189 - direction
	Star190 - direction
	Planet191 - direction
	Star192 - direction
	Phenomenon193 - direction
	Phenomenon194 - direction
	Star195 - direction
	Planet196 - direction
	Star197 - direction
	Planet198 - direction
	Phenomenon199 - direction
	Planet200 - direction
	Phenomenon201 - direction
	Phenomenon202 - direction
	Phenomenon203 - direction
	Star204 - direction
	Planet205 - direction
	Planet206 - direction
	Planet207 - direction
	Star208 - direction
	Phenomenon209 - direction
	Phenomenon210 - direction
	Phenomenon211 - direction
	Star212 - direction
	Phenomenon213 - direction
	Phenomenon214 - direction
	Phenomenon215 - direction
	Phenomenon216 - direction
	Star217 - direction
	Phenomenon218 - direction
	Star219 - direction
	Star220 - direction
	Phenomenon221 - direction
	Phenomenon222 - direction
	Phenomenon223 - direction
	Star224 - direction
	Phenomenon225 - direction
	Phenomenon226 - direction
	Phenomenon227 - direction
	Phenomenon228 - direction
	Planet229 - direction
	Star230 - direction
	Phenomenon231 - direction
	Planet232 - direction
	Phenomenon233 - direction
	Phenomenon234 - direction
	Star235 - direction
	Planet236 - direction
	Phenomenon237 - direction
	Phenomenon238 - direction
	Star239 - direction
	Planet240 - direction
	Phenomenon241 - direction
	Planet242 - direction
	Star243 - direction
	Planet244 - direction
	Planet245 - direction
	Phenomenon246 - direction
	Star247 - direction
	Phenomenon248 - direction
	Phenomenon249 - direction
	Phenomenon250 - direction
	Star251 - direction
	Star252 - direction
	Star253 - direction
	Planet254 - direction
)
(:init
	(supports instrument0 thermograph0)
	(calibration_target instrument0 Star0)
	(supports instrument1 image3)
	(supports instrument1 thermograph0)
	(supports instrument1 thermograph1)
	(calibration_target instrument1 Star4)
	(supports instrument2 image3)
	(calibration_target instrument2 Star1)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Phenomenon103)
	(supports instrument3 thermograph2)
	(calibration_target instrument3 Star0)
	(supports instrument4 thermograph0)
	(supports instrument4 thermograph2)
	(calibration_target instrument4 Star0)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon104)
	(supports instrument5 image3)
	(supports instrument5 thermograph2)
	(supports instrument5 thermograph0)
	(calibration_target instrument5 GroundStation2)
	(supports instrument6 thermograph2)
	(supports instrument6 thermograph1)
	(supports instrument6 thermograph0)
	(calibration_target instrument6 Star0)
	(supports instrument7 thermograph0)
	(supports instrument7 image3)
	(calibration_target instrument7 GroundStation3)
	(on_board instrument5 satellite2)
	(on_board instrument6 satellite2)
	(on_board instrument7 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet191)
	(supports instrument8 image4)
	(calibration_target instrument8 GroundStation3)
	(supports instrument9 image3)
	(calibration_target instrument9 Star0)
	(on_board instrument8 satellite3)
	(on_board instrument9 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Planet232)
	(supports instrument10 thermograph2)
	(supports instrument10 thermograph0)
	(supports instrument10 thermograph1)
	(calibration_target instrument10 Star1)
	(supports instrument11 image3)
	(calibration_target instrument11 Star1)
	(supports instrument12 thermograph1)
	(supports instrument12 thermograph0)
	(calibration_target instrument12 Star1)
	(on_board instrument10 satellite4)
	(on_board instrument11 satellite4)
	(on_board instrument12 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon147)
	(supports instrument13 thermograph0)
	(calibration_target instrument13 GroundStation2)
	(supports instrument14 image4)
	(supports instrument14 thermograph1)
	(supports instrument14 thermograph0)
	(calibration_target instrument14 GroundStation2)
	(supports instrument15 image4)
	(supports instrument15 image3)
	(supports instrument15 thermograph2)
	(calibration_target instrument15 Star1)
	(on_board instrument13 satellite5)
	(on_board instrument14 satellite5)
	(on_board instrument15 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Phenomenon18)
	(supports instrument16 thermograph1)
	(calibration_target instrument16 GroundStation2)
	(on_board instrument16 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Phenomenon37)
	(supports instrument17 thermograph0)
	(supports instrument17 image4)
	(calibration_target instrument17 GroundStation3)
	(supports instrument18 thermograph0)
	(calibration_target instrument18 Star4)
	(on_board instrument17 satellite7)
	(on_board instrument18 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Planet123)
	(supports instrument19 thermograph1)
	(supports instrument19 image3)
	(supports instrument19 thermograph0)
	(calibration_target instrument19 Star4)
	(on_board instrument19 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Planet115)
	(supports instrument20 thermograph2)
	(supports instrument20 image4)
	(calibration_target instrument20 GroundStation2)
	(supports instrument21 image3)
	(supports instrument21 image4)
	(calibration_target instrument21 GroundStation2)
	(supports instrument22 image3)
	(supports instrument22 thermograph2)
	(supports instrument22 thermograph0)
	(calibration_target instrument22 Star4)
	(on_board instrument20 satellite9)
	(on_board instrument21 satellite9)
	(on_board instrument22 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Phenomenon46)
	(supports instrument23 image3)
	(supports instrument23 thermograph0)
	(calibration_target instrument23 Star4)
	(supports instrument24 thermograph1)
	(supports instrument24 thermograph0)
	(supports instrument24 thermograph2)
	(calibration_target instrument24 Star1)
	(on_board instrument23 satellite10)
	(on_board instrument24 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Planet173)
	(supports instrument25 thermograph0)
	(supports instrument25 thermograph2)
	(calibration_target instrument25 Star0)
	(supports instrument26 image3)
	(supports instrument26 image4)
	(calibration_target instrument26 Star0)
	(supports instrument27 thermograph0)
	(supports instrument27 image4)
	(supports instrument27 image3)
	(calibration_target instrument27 Star4)
	(on_board instrument25 satellite11)
	(on_board instrument26 satellite11)
	(on_board instrument27 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Phenomenon116)
	(supports instrument28 image3)
	(supports instrument28 thermograph1)
	(calibration_target instrument28 GroundStation2)
	(supports instrument29 thermograph1)
	(calibration_target instrument29 Star1)
	(supports instrument30 image3)
	(calibration_target instrument30 GroundStation3)
	(on_board instrument28 satellite12)
	(on_board instrument29 satellite12)
	(on_board instrument30 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Planet254)
	(supports instrument31 thermograph0)
	(supports instrument31 image3)
	(calibration_target instrument31 GroundStation3)
	(supports instrument32 thermograph0)
	(calibration_target instrument32 GroundStation2)
	(supports instrument33 thermograph0)
	(supports instrument33 thermograph1)
	(supports instrument33 image3)
	(calibration_target instrument33 Star4)
	(on_board instrument31 satellite13)
	(on_board instrument32 satellite13)
	(on_board instrument33 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Star14)
	(supports instrument34 thermograph2)
	(supports instrument34 thermograph1)
	(calibration_target instrument34 Star1)
	(on_board instrument34 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Phenomenon100)
)
(:goal (and
	(pointing satellite0 Phenomenon83)
	(pointing satellite3 Phenomenon209)
	(pointing satellite4 Star253)
	(pointing satellite9 Phenomenon134)
	(pointing satellite11 Planet28)
	(have_image Phenomenon5 thermograph1)
	(have_image Planet6 image4)
	(have_image Planet7 image3)
	(have_image Planet8 image3)
	(have_image Planet9 thermograph0)
	(have_image Planet10 thermograph1)
	(have_image Planet11 thermograph2)
	(have_image Phenomenon12 image3)
	(have_image Planet13 thermograph1)
	(have_image Star14 image3)
	(have_image Planet15 thermograph0)
	(have_image Planet16 image3)
	(have_image Planet17 image4)
	(have_image Phenomenon18 image3)
	(have_image Star19 thermograph0)
	(have_image Star21 thermograph1)
	(have_image Star22 image4)
	(have_image Planet23 thermograph1)
	(have_image Planet24 thermograph2)
	(have_image Planet25 thermograph1)
	(have_image Star26 thermograph0)
	(have_image Phenomenon27 thermograph1)
	(have_image Planet28 thermograph2)
	(have_image Planet29 thermograph0)
	(have_image Star31 thermograph2)
	(have_image Phenomenon32 thermograph0)
	(have_image Star33 image3)
	(have_image Phenomenon35 thermograph1)
	(have_image Phenomenon36 thermograph2)
	(have_image Phenomenon37 thermograph2)
	(have_image Planet38 image3)
	(have_image Star39 thermograph1)
	(have_image Planet40 image4)
	(have_image Phenomenon42 thermograph1)
	(have_image Star43 image3)
	(have_image Phenomenon45 thermograph0)
	(have_image Phenomenon46 thermograph0)
	(have_image Phenomenon47 thermograph1)
	(have_image Planet48 image3)
	(have_image Planet49 image4)
	(have_image Phenomenon50 image4)
	(have_image Planet51 thermograph1)
	(have_image Planet52 thermograph0)
	(have_image Phenomenon53 image4)
	(have_image Star54 thermograph2)
	(have_image Planet55 thermograph0)
	(have_image Star56 thermograph2)
	(have_image Star57 thermograph0)
	(have_image Phenomenon58 thermograph2)
	(have_image Phenomenon59 image4)
	(have_image Star60 thermograph2)
	(have_image Planet61 thermograph2)
	(have_image Planet62 thermograph0)
	(have_image Planet63 image4)
	(have_image Planet64 thermograph2)
	(have_image Phenomenon65 thermograph2)
	(have_image Star66 thermograph1)
	(have_image Star67 thermograph2)
	(have_image Phenomenon68 thermograph2)
	(have_image Planet70 thermograph2)
	(have_image Phenomenon71 thermograph2)
	(have_image Star72 thermograph1)
	(have_image Phenomenon73 thermograph0)
	(have_image Planet74 image3)
	(have_image Planet75 image4)
	(have_image Phenomenon76 thermograph0)
	(have_image Planet77 image4)
	(have_image Phenomenon78 image4)
	(have_image Planet79 thermograph2)
	(have_image Planet80 thermograph2)
	(have_image Star81 thermograph2)
	(have_image Planet82 thermograph1)
	(have_image Phenomenon83 thermograph0)
	(have_image Star84 image3)
	(have_image Phenomenon85 image4)
	(have_image Phenomenon88 thermograph0)
	(have_image Star89 thermograph2)
	(have_image Phenomenon90 thermograph0)
	(have_image Star91 image4)
	(have_image Star92 thermograph2)
	(have_image Planet93 image4)
	(have_image Phenomenon94 thermograph2)
	(have_image Phenomenon96 image4)
	(have_image Planet97 thermograph1)
	(have_image Phenomenon99 thermograph2)
	(have_image Phenomenon100 thermograph2)
	(have_image Planet101 image4)
	(have_image Planet102 thermograph0)
	(have_image Phenomenon103 thermograph1)
	(have_image Phenomenon104 image4)
	(have_image Phenomenon105 image4)
	(have_image Phenomenon106 thermograph1)
	(have_image Planet107 image3)
	(have_image Phenomenon108 thermograph0)
	(have_image Planet109 image3)
	(have_image Phenomenon110 thermograph0)
	(have_image Planet111 thermograph2)
	(have_image Planet112 thermograph2)
	(have_image Phenomenon113 image3)
	(have_image Planet115 thermograph1)
	(have_image Phenomenon116 thermograph1)
	(have_image Phenomenon117 thermograph1)
	(have_image Phenomenon118 thermograph2)
	(have_image Star119 image4)
	(have_image Star120 thermograph2)
	(have_image Star121 image4)
	(have_image Planet123 image3)
	(have_image Phenomenon124 thermograph2)
	(have_image Planet125 image4)
	(have_image Planet126 thermograph0)
	(have_image Planet127 thermograph0)
	(have_image Star129 thermograph0)
	(have_image Phenomenon130 thermograph0)
	(have_image Star131 thermograph2)
	(have_image Phenomenon132 image4)
	(have_image Star133 thermograph1)
	(have_image Phenomenon134 thermograph0)
	(have_image Planet135 image4)
	(have_image Star136 image3)
	(have_image Phenomenon137 thermograph1)
	(have_image Star138 image4)
	(have_image Star139 thermograph1)
	(have_image Planet141 thermograph0)
	(have_image Planet143 thermograph2)
	(have_image Planet144 image4)
	(have_image Phenomenon145 thermograph1)
	(have_image Star146 image4)
	(have_image Phenomenon147 image4)
	(have_image Planet148 thermograph2)
	(have_image Star149 image3)
	(have_image Star150 thermograph0)
	(have_image Phenomenon151 thermograph0)
	(have_image Phenomenon152 thermograph0)
	(have_image Planet153 image4)
	(have_image Star154 thermograph1)
	(have_image Phenomenon155 image3)
	(have_image Planet156 image3)
	(have_image Planet158 image3)
	(have_image Phenomenon159 thermograph1)
	(have_image Star161 thermograph0)
	(have_image Star162 image3)
	(have_image Planet163 thermograph0)
	(have_image Phenomenon164 thermograph1)
	(have_image Phenomenon165 thermograph2)
	(have_image Phenomenon166 thermograph1)
	(have_image Star167 image4)
	(have_image Star168 thermograph2)
	(have_image Planet169 thermograph0)
	(have_image Phenomenon170 image4)
	(have_image Star171 thermograph0)
	(have_image Planet172 image4)
	(have_image Planet173 thermograph0)
	(have_image Star175 image3)
	(have_image Star176 image3)
	(have_image Star177 image4)
	(have_image Star178 image3)
	(have_image Planet179 thermograph0)
	(have_image Star181 image3)
	(have_image Planet182 image3)
	(have_image Phenomenon183 thermograph0)
	(have_image Planet184 thermograph2)
	(have_image Phenomenon185 image4)
	(have_image Star186 image4)
	(have_image Star187 thermograph0)
	(have_image Star188 thermograph0)
	(have_image Planet189 image4)
	(have_image Star190 thermograph2)
	(have_image Planet191 thermograph1)
	(have_image Star192 image4)
	(have_image Phenomenon193 image3)
	(have_image Phenomenon194 thermograph2)
	(have_image Star195 image4)
	(have_image Planet196 thermograph1)
	(have_image Star197 thermograph1)
	(have_image Planet198 thermograph1)
	(have_image Phenomenon199 thermograph2)
	(have_image Planet200 thermograph1)
	(have_image Phenomenon201 thermograph0)
	(have_image Phenomenon202 thermograph1)
	(have_image Phenomenon203 thermograph1)
	(have_image Star204 thermograph1)
	(have_image Planet205 image4)
	(have_image Planet206 image4)
	(have_image Planet207 image3)
	(have_image Star208 thermograph2)
	(have_image Phenomenon209 thermograph2)
	(have_image Phenomenon210 image3)
	(have_image Phenomenon211 thermograph0)
	(have_image Star212 thermograph0)
	(have_image Phenomenon213 thermograph2)
	(have_image Phenomenon214 thermograph1)
	(have_image Phenomenon216 thermograph1)
	(have_image Star217 thermograph0)
	(have_image Phenomenon218 image3)
	(have_image Star219 image4)
	(have_image Star220 thermograph2)
	(have_image Phenomenon221 image4)
	(have_image Phenomenon222 image4)
	(have_image Phenomenon223 thermograph2)
	(have_image Star224 thermograph2)
	(have_image Phenomenon225 image4)
	(have_image Phenomenon226 thermograph2)
	(have_image Phenomenon227 thermograph1)
	(have_image Planet229 thermograph1)
	(have_image Star230 thermograph1)
	(have_image Phenomenon231 thermograph2)
	(have_image Phenomenon233 thermograph2)
	(have_image Phenomenon234 thermograph1)
	(have_image Star235 image3)
	(have_image Planet236 image4)
	(have_image Phenomenon237 thermograph1)
	(have_image Phenomenon238 thermograph0)
	(have_image Planet240 image3)
	(have_image Phenomenon241 image4)
	(have_image Planet242 image3)
	(have_image Star243 image3)
	(have_image Planet244 thermograph0)
	(have_image Phenomenon246 image4)
	(have_image Star247 thermograph2)
	(have_image Phenomenon248 thermograph1)
	(have_image Phenomenon249 image3)
	(have_image Phenomenon250 image4)
	(have_image Star251 thermograph0)
	(have_image Star252 thermograph2)
	(have_image Star253 image4)
	(have_image Planet254 image3)
))

)
