(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	satellite1
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	satellite2
	instrument12
	instrument13
	instrument14
	instrument15
	satellite3
	instrument16
	instrument17
	satellite4
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	satellite5
	instrument26
	instrument27
	instrument28
	instrument29
	thermograph4
	thermograph10
	thermograph3
	spectrograph2
	spectrograph6
	spectrograph11
	infrared7
	spectrograph9
	infrared8
	thermograph5
	spectrograph1
	spectrograph0
	GroundStation4
	GroundStation2
	Star1
	GroundStation3
	Star0
	GroundStation5
	Phenomenon6
	Phenomenon7
	Planet8
	Star9
	Planet10
	Star11
	Phenomenon12
	Star13
	Star14
	Phenomenon15
	Star16
	Planet17
	Star18
	Planet19
	Phenomenon20
	Star21
	Star22
	Star23
	Star24
	Phenomenon25
	Star26
	Phenomenon27
	Phenomenon28
	Phenomenon29
	Phenomenon30
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 spectrograph2)
	(supports instrument0 spectrograph1)
	(calibration_target instrument0 GroundStation5)
	(on_board instrument0 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star16)
	(satellite satellite1)
	(instrument instrument1)
	(supports instrument1 spectrograph6)
	(supports instrument1 spectrograph0)
	(calibration_target instrument1 GroundStation3)
	(calibration_target instrument1 Star1)
	(instrument instrument2)
	(supports instrument2 infrared8)
	(supports instrument2 thermograph10)
	(calibration_target instrument2 Star1)
	(instrument instrument3)
	(supports instrument3 spectrograph2)
	(calibration_target instrument3 Star0)
	(instrument instrument4)
	(supports instrument4 infrared7)
	(supports instrument4 spectrograph11)
	(supports instrument4 infrared8)
	(calibration_target instrument4 GroundStation3)
	(instrument instrument5)
	(supports instrument5 thermograph5)
	(supports instrument5 spectrograph11)
	(calibration_target instrument5 GroundStation4)
	(calibration_target instrument5 Star1)
	(instrument instrument6)
	(supports instrument6 thermograph10)
	(calibration_target instrument6 Star1)
	(calibration_target instrument6 GroundStation4)
	(instrument instrument7)
	(supports instrument7 thermograph4)
	(calibration_target instrument7 Star0)
	(calibration_target instrument7 GroundStation5)
	(instrument instrument8)
	(supports instrument8 infrared8)
	(supports instrument8 spectrograph11)
	(calibration_target instrument8 Star0)
	(calibration_target instrument8 GroundStation4)
	(instrument instrument9)
	(supports instrument9 spectrograph2)
	(calibration_target instrument9 Star0)
	(calibration_target instrument9 GroundStation2)
	(instrument instrument10)
	(supports instrument10 spectrograph6)
	(supports instrument10 thermograph4)
	(supports instrument10 infrared7)
	(calibration_target instrument10 GroundStation5)
	(instrument instrument11)
	(supports instrument11 spectrograph11)
	(calibration_target instrument11 Star1)
	(on_board instrument1 satellite1)
	(on_board instrument2 satellite1)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(on_board instrument6 satellite1)
	(on_board instrument7 satellite1)
	(on_board instrument8 satellite1)
	(on_board instrument9 satellite1)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon20)
	(satellite satellite2)
	(instrument instrument12)
	(supports instrument12 spectrograph1)
	(supports instrument12 spectrograph6)
	(supports instrument12 infrared7)
	(calibration_target instrument12 Star1)
	(calibration_target instrument12 GroundStation3)
	(instrument instrument13)
	(supports instrument13 spectrograph2)
	(calibration_target instrument13 GroundStation4)
	(instrument instrument14)
	(supports instrument14 spectrograph11)
	(supports instrument14 spectrograph2)
	(supports instrument14 thermograph5)
	(calibration_target instrument14 GroundStation2)
	(instrument instrument15)
	(supports instrument15 spectrograph0)
	(supports instrument15 thermograph10)
	(calibration_target instrument15 GroundStation4)
	(on_board instrument12 satellite2)
	(on_board instrument13 satellite2)
	(on_board instrument14 satellite2)
	(on_board instrument15 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet17)
	(satellite satellite3)
	(instrument instrument16)
	(supports instrument16 thermograph3)
	(supports instrument16 spectrograph9)
	(supports instrument16 infrared8)
	(calibration_target instrument16 GroundStation4)
	(calibration_target instrument16 GroundStation5)
	(instrument instrument17)
	(supports instrument17 spectrograph6)
	(supports instrument17 spectrograph1)
	(calibration_target instrument17 Star0)
	(calibration_target instrument17 GroundStation2)
	(on_board instrument16 satellite3)
	(on_board instrument17 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Planet19)
	(satellite satellite4)
	(instrument instrument18)
	(supports instrument18 infrared8)
	(supports instrument18 spectrograph6)
	(supports instrument18 spectrograph1)
	(calibration_target instrument18 GroundStation5)
	(calibration_target instrument18 GroundStation3)
	(instrument instrument19)
	(supports instrument19 spectrograph1)
	(calibration_target instrument19 Star1)
	(instrument instrument20)
	(supports instrument20 spectrograph11)
	(supports instrument20 spectrograph2)
	(calibration_target instrument20 GroundStation3)
	(calibration_target instrument20 GroundStation2)
	(instrument instrument21)
	(supports instrument21 spectrograph11)
	(supports instrument21 thermograph3)
	(calibration_target instrument21 GroundStation5)
	(calibration_target instrument21 Star0)
	(instrument instrument22)
	(supports instrument22 spectrograph9)
	(supports instrument22 infrared7)
	(supports instrument22 thermograph3)
	(calibration_target instrument22 GroundStation5)
	(instrument instrument23)
	(supports instrument23 spectrograph2)
	(supports instrument23 thermograph3)
	(calibration_target instrument23 GroundStation2)
	(calibration_target instrument23 GroundStation5)
	(instrument instrument24)
	(supports instrument24 spectrograph2)
	(supports instrument24 infrared7)
	(calibration_target instrument24 Star0)
	(instrument instrument25)
	(supports instrument25 spectrograph11)
	(supports instrument25 spectrograph6)
	(supports instrument25 infrared7)
	(calibration_target instrument25 Star1)
	(on_board instrument18 satellite4)
	(on_board instrument19 satellite4)
	(on_board instrument20 satellite4)
	(on_board instrument21 satellite4)
	(on_board instrument22 satellite4)
	(on_board instrument23 satellite4)
	(on_board instrument24 satellite4)
	(on_board instrument25 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star18)
	(satellite satellite5)
	(instrument instrument26)
	(supports instrument26 infrared7)
	(supports instrument26 spectrograph1)
	(supports instrument26 thermograph5)
	(calibration_target instrument26 GroundStation3)
	(instrument instrument27)
	(supports instrument27 infrared8)
	(supports instrument27 spectrograph0)
	(supports instrument27 spectrograph9)
	(calibration_target instrument27 GroundStation5)
	(calibration_target instrument27 GroundStation3)
	(instrument instrument28)
	(supports instrument28 thermograph5)
	(calibration_target instrument28 Star0)
	(instrument instrument29)
	(supports instrument29 spectrograph0)
	(supports instrument29 spectrograph1)
	(calibration_target instrument29 GroundStation5)
	(on_board instrument26 satellite5)
	(on_board instrument27 satellite5)
	(on_board instrument28 satellite5)
	(on_board instrument29 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Phenomenon29)
	(mode thermograph4)
	(mode thermograph10)
	(mode thermograph3)
	(mode spectrograph2)
	(mode spectrograph6)
	(mode spectrograph11)
	(mode infrared7)
	(mode spectrograph9)
	(mode infrared8)
	(mode thermograph5)
	(mode spectrograph1)
	(mode spectrograph0)
	(direction GroundStation4)
	(direction GroundStation2)
	(direction Star1)
	(direction GroundStation3)
	(direction Star0)
	(direction GroundStation5)
	(direction Phenomenon6)
	(direction Phenomenon7)
	(direction Planet8)
	(direction Star9)
	(direction Planet10)
	(direction Star11)
	(direction Phenomenon12)
	(direction Star13)
	(direction Star14)
	(direction Phenomenon15)
	(direction Star16)
	(direction Planet17)
	(direction Star18)
	(direction Planet19)
	(direction Phenomenon20)
	(direction Star21)
	(direction Star22)
	(direction Star23)
	(direction Star24)
	(direction Phenomenon25)
	(direction Star26)
	(direction Phenomenon27)
	(direction Phenomenon28)
	(direction Phenomenon29)
	(direction Phenomenon30)
)
(:goal (and
	(pointing satellite3 Star11)
	(pointing satellite5 Star16)
	(have_image Phenomenon6 spectrograph0)
	(have_image Phenomenon6 spectrograph2)
	(have_image Phenomenon7 infrared7)
	(have_image Phenomenon7 spectrograph9)
	(have_image Phenomenon7 spectrograph1)
	(have_image Phenomenon7 spectrograph0)
	(have_image Planet8 spectrograph2)
	(have_image Star9 spectrograph0)
	(have_image Star9 spectrograph2)
	(have_image Star9 spectrograph1)
	(have_image Planet10 spectrograph11)
	(have_image Planet10 spectrograph1)
	(have_image Planet10 thermograph10)
	(have_image Star11 thermograph4)
	(have_image Phenomenon12 spectrograph0)
	(have_image Star14 infrared8)
	(have_image Star14 spectrograph0)
	(have_image Star14 spectrograph9)
	(have_image Star14 thermograph4)
	(have_image Phenomenon15 spectrograph9)
	(have_image Phenomenon15 spectrograph1)
	(have_image Phenomenon15 thermograph4)
	(have_image Star16 spectrograph6)
	(have_image Star16 thermograph3)
	(have_image Star16 spectrograph0)
	(have_image Star18 thermograph5)
	(have_image Planet19 spectrograph11)
	(have_image Phenomenon20 infrared7)
	(have_image Star21 thermograph10)
	(have_image Star21 infrared8)
	(have_image Star21 spectrograph6)
	(have_image Star22 spectrograph0)
	(have_image Star23 infrared8)
	(have_image Star23 spectrograph2)
	(have_image Star23 spectrograph9)
	(have_image Star24 spectrograph1)
	(have_image Phenomenon25 spectrograph2)
	(have_image Phenomenon25 thermograph4)
	(have_image Star26 spectrograph6)
	(have_image Star26 spectrograph2)
	(have_image Phenomenon27 infrared8)
	(have_image Phenomenon27 infrared7)
	(have_image Phenomenon27 spectrograph2)
	(have_image Phenomenon28 thermograph3)
	(have_image Phenomenon29 spectrograph11)
	(have_image Phenomenon29 infrared7)
	(have_image Phenomenon30 infrared7)
	(have_image Phenomenon30 thermograph5)
))

)
