(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	image1 - mode
	infrared0 - mode
	spectrograph2 - mode
	Star1 - direction
	Star2 - direction
	Star0 - direction
	Star3 - direction
	Star4 - direction
	Phenomenon5 - direction
	Phenomenon6 - direction
	Phenomenon7 - direction
)
(:init
	(supports instrument0 spectrograph2)
	(supports instrument0 infrared0)
	(calibration_target instrument0 Star1)
	(supports instrument1 image1)
	(calibration_target instrument1 Star2)
	(supports instrument2 infrared0)
	(supports instrument2 image1)
	(calibration_target instrument2 Star0)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star4)
	(= (data_capacity satellite0) 1000)
	(= (fuel satellite0) 108)
	(supports instrument3 spectrograph2)
	(supports instrument3 infrared0)
	(supports instrument3 image1)
	(calibration_target instrument3 Star0)
	(on_board instrument3 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star0)
	(= (data_capacity satellite1) 1000)
	(= (fuel satellite1) 174)
	(= (data Star3 image1) 208)
	(= (data Star4 image1) 156)
	(= (data Phenomenon5 image1) 205)
	(= (data Phenomenon6 image1) 247)
	(= (data Phenomenon7 image1) 122)
	(= (data Star3 infrared0) 164)
	(= (data Star4 infrared0) 196)
	(= (data Phenomenon5 infrared0) 95)
	(= (data Phenomenon6 infrared0) 67)
	(= (data Phenomenon7 infrared0) 248)
	(= (data Star3 spectrograph2) 125)
	(= (data Star4 spectrograph2) 6)
	(= (data Phenomenon5 spectrograph2) 44)
	(= (data Phenomenon6 spectrograph2) 222)
	(= (data Phenomenon7 spectrograph2) 78)
	(= (slew_time Star1 Star0) 34.35)
	(= (slew_time Star0 Star1) 34.35)
	(= (slew_time Star2 Star0) 8.768)
	(= (slew_time Star0 Star2) 8.768)
	(= (slew_time Star2 Star1) 18.57)
	(= (slew_time Star1 Star2) 18.57)
	(= (slew_time Star3 Star0) 25.66)
	(= (slew_time Star0 Star3) 25.66)
	(= (slew_time Star3 Star1) 25.96)
	(= (slew_time Star1 Star3) 25.96)
	(= (slew_time Star3 Star2) 17.99)
	(= (slew_time Star2 Star3) 17.99)
	(= (slew_time Star4 Star0) 71.99)
	(= (slew_time Star0 Star4) 71.99)
	(= (slew_time Star4 Star1) 1.526)
	(= (slew_time Star1 Star4) 1.526)
	(= (slew_time Star4 Star2) 35.34)
	(= (slew_time Star2 Star4) 35.34)
	(= (slew_time Star4 Star3) 49.61)
	(= (slew_time Star3 Star4) 49.61)
	(= (slew_time Phenomenon5 Star0) 67.92)
	(= (slew_time Star0 Phenomenon5) 67.92)
	(= (slew_time Phenomenon5 Star1) 4.095)
	(= (slew_time Star1 Phenomenon5) 4.095)
	(= (slew_time Phenomenon5 Star2) 30.24)
	(= (slew_time Star2 Phenomenon5) 30.24)
	(= (slew_time Phenomenon5 Star3) 7.589)
	(= (slew_time Star3 Phenomenon5) 7.589)
	(= (slew_time Phenomenon5 Star4) 0.5297)
	(= (slew_time Star4 Phenomenon5) 0.5297)
	(= (slew_time Phenomenon6 Star0) 77.1)
	(= (slew_time Star0 Phenomenon6) 77.1)
	(= (slew_time Phenomenon6 Star1) 47.3)
	(= (slew_time Star1 Phenomenon6) 47.3)
	(= (slew_time Phenomenon6 Star2) 64.11)
	(= (slew_time Star2 Phenomenon6) 64.11)
	(= (slew_time Phenomenon6 Star3) 51.56)
	(= (slew_time Star3 Phenomenon6) 51.56)
	(= (slew_time Phenomenon6 Star4) 56.36)
	(= (slew_time Star4 Phenomenon6) 56.36)
	(= (slew_time Phenomenon6 Phenomenon5) 67.57)
	(= (slew_time Phenomenon5 Phenomenon6) 67.57)
	(= (slew_time Phenomenon7 Star0) 9.943)
	(= (slew_time Star0 Phenomenon7) 9.943)
	(= (slew_time Phenomenon7 Star1) 13.3)
	(= (slew_time Star1 Phenomenon7) 13.3)
	(= (slew_time Phenomenon7 Star2) 60.53)
	(= (slew_time Star2 Phenomenon7) 60.53)
	(= (slew_time Phenomenon7 Star3) 53.93)
	(= (slew_time Star3 Phenomenon7) 53.93)
	(= (slew_time Phenomenon7 Star4) 67.87)
	(= (slew_time Star4 Phenomenon7) 67.87)
	(= (slew_time Phenomenon7 Phenomenon5) 43.97)
	(= (slew_time Phenomenon5 Phenomenon7) 43.97)
	(= (slew_time Phenomenon7 Phenomenon6) 32.34)
	(= (slew_time Phenomenon6 Phenomenon7) 32.34)
	(= (data-stored) 0)
	(= (fuel-used) 0)
)
(:goal (and
	(pointing satellite0 Phenomenon5)
	(have_image Star3 infrared0)
	(have_image Star4 spectrograph2)
	(have_image Phenomenon5 spectrograph2)
	(have_image Phenomenon7 spectrograph2)
))
(:metric minimize (fuel-used))

)