(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	instrument4 - instrument
	instrument5 - instrument
	satellite2 - satellite
	instrument6 - instrument
	instrument7 - instrument
	satellite3 - satellite
	instrument8 - instrument
	instrument9 - instrument
	thermograph2 - mode
	image0 - mode
	thermograph1 - mode
	spectrograph3 - mode
	Star2 - direction
	GroundStation1 - direction
	Star0 - direction
	Star3 - direction
	Star4 - direction
	Phenomenon5 - direction
	Star6 - direction
	Star7 - direction
	Phenomenon8 - direction
	Phenomenon9 - direction
	Star10 - direction
	Planet11 - direction
	Phenomenon12 - direction
	Phenomenon13 - direction
	Phenomenon14 - direction
)
(:init
	(supports instrument0 thermograph1)
	(supports instrument0 image0)
	(calibration_target instrument0 Star3)
	(= (calibration_time instrument0 Star3) 62.7)
	(supports instrument1 spectrograph3)
	(supports instrument1 thermograph2)
	(supports instrument1 thermograph1)
	(calibration_target instrument1 Star2)
	(= (calibration_time instrument1 Star2) 13.1)
	(supports instrument2 spectrograph3)
	(calibration_target instrument2 Star4)
	(= (calibration_time instrument2 Star4) 7.1)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Phenomenon14)
	(= (data_capacity satellite0) 1000)
	(supports instrument3 thermograph2)
	(supports instrument3 image0)
	(calibration_target instrument3 GroundStation1)
	(= (calibration_time instrument3 GroundStation1) 98.9)
	(supports instrument4 thermograph1)
	(calibration_target instrument4 Star4)
	(= (calibration_time instrument4 Star4) 74.8)
	(supports instrument5 thermograph2)
	(supports instrument5 thermograph1)
	(supports instrument5 spectrograph3)
	(calibration_target instrument5 Star0)
	(= (calibration_time instrument5 Star0) 61)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star4)
	(= (data_capacity satellite1) 1000)
	(supports instrument6 thermograph1)
	(supports instrument6 thermograph2)
	(calibration_target instrument6 Star3)
	(= (calibration_time instrument6 Star3) 45.4)
	(supports instrument7 thermograph2)
	(supports instrument7 thermograph1)
	(supports instrument7 image0)
	(calibration_target instrument7 Star0)
	(= (calibration_time instrument7 Star0) 45.5)
	(on_board instrument6 satellite2)
	(on_board instrument7 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star6)
	(= (data_capacity satellite2) 1000)
	(supports instrument8 image0)
	(calibration_target instrument8 Star3)
	(= (calibration_time instrument8 Star3) 96.5)
	(supports instrument9 spectrograph3)
	(supports instrument9 thermograph1)
	(supports instrument9 image0)
	(calibration_target instrument9 Star4)
	(= (calibration_time instrument9 Star4) 14.2)
	(on_board instrument8 satellite3)
	(on_board instrument9 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon5)
	(= (data_capacity satellite3) 1000)
	(= (data Phenomenon5 thermograph2) 154)
	(= (data Star6 thermograph2) 17)
	(= (data Star7 thermograph2) 269)
	(= (data Phenomenon8 thermograph2) 63)
	(= (data Phenomenon9 thermograph2) 136)
	(= (data Star10 thermograph2) 137)
	(= (data Planet11 thermograph2) 86)
	(= (data Phenomenon12 thermograph2) 161)
	(= (data Phenomenon13 thermograph2) 246)
	(= (data Phenomenon14 thermograph2) 231)
	(= (data Phenomenon5 image0) 136)
	(= (data Star6 image0) 274)
	(= (data Star7 image0) 291)
	(= (data Phenomenon8 image0) 277)
	(= (data Phenomenon9 image0) 145)
	(= (data Star10 image0) 90)
	(= (data Planet11 image0) 222)
	(= (data Phenomenon12 image0) 25)
	(= (data Phenomenon13 image0) 12)
	(= (data Phenomenon14 image0) 26)
	(= (data Phenomenon5 thermograph1) 288)
	(= (data Star6 thermograph1) 72)
	(= (data Star7 thermograph1) 111)
	(= (data Phenomenon8 thermograph1) 137)
	(= (data Phenomenon9 thermograph1) 190)
	(= (data Star10 thermograph1) 63)
	(= (data Planet11 thermograph1) 167)
	(= (data Phenomenon12 thermograph1) 135)
	(= (data Phenomenon13 thermograph1) 164)
	(= (data Phenomenon14 thermograph1) 57)
	(= (data Phenomenon5 spectrograph3) 124)
	(= (data Star6 spectrograph3) 63)
	(= (data Star7 spectrograph3) 20)
	(= (data Phenomenon8 spectrograph3) 58)
	(= (data Phenomenon9 spectrograph3) 183)
	(= (data Star10 spectrograph3) 235)
	(= (data Planet11 spectrograph3) 59)
	(= (data Phenomenon12 spectrograph3) 127)
	(= (data Phenomenon13 spectrograph3) 60)
	(= (data Phenomenon14 spectrograph3) 68)
	(= (slew_time Star2 Star0) 63.53)
	(= (slew_time Star0 Star2) 63.53)
	(= (slew_time Star2 GroundStation1) 9.039)
	(= (slew_time GroundStation1 Star2) 9.039)
	(= (slew_time GroundStation1 Star0) 62.34)
	(= (slew_time Star0 GroundStation1) 62.34)
	(= (slew_time Star3 Star0) 4.325)
	(= (slew_time Star0 Star3) 4.325)
	(= (slew_time Star3 GroundStation1) 52.67)
	(= (slew_time GroundStation1 Star3) 52.67)
	(= (slew_time Star3 Star2) 3.529)
	(= (slew_time Star2 Star3) 3.529)
	(= (slew_time Star4 Star0) 45.66)
	(= (slew_time Star0 Star4) 45.66)
	(= (slew_time Star4 GroundStation1) 34.15)
	(= (slew_time GroundStation1 Star4) 34.15)
	(= (slew_time Star4 Star2) 70.99)
	(= (slew_time Star2 Star4) 70.99)
	(= (slew_time Star4 Star3) 9.409)
	(= (slew_time Star3 Star4) 9.409)
	(= (slew_time Phenomenon5 Star0) 57.6)
	(= (slew_time Star0 Phenomenon5) 57.6)
	(= (slew_time Phenomenon5 GroundStation1) 31.6)
	(= (slew_time GroundStation1 Phenomenon5) 31.6)
	(= (slew_time Phenomenon5 Star2) 13.92)
	(= (slew_time Star2 Phenomenon5) 13.92)
	(= (slew_time Phenomenon5 Star3) 11.75)
	(= (slew_time Star3 Phenomenon5) 11.75)
	(= (slew_time Phenomenon5 Star4) 55.9)
	(= (slew_time Star4 Phenomenon5) 55.9)
	(= (slew_time Star6 Star0) 23.46)
	(= (slew_time Star0 Star6) 23.46)
	(= (slew_time Star6 GroundStation1) 36.8)
	(= (slew_time GroundStation1 Star6) 36.8)
	(= (slew_time Star6 Star2) 67.83)
	(= (slew_time Star2 Star6) 67.83)
	(= (slew_time Star6 Star3) 53.27)
	(= (slew_time Star3 Star6) 53.27)
	(= (slew_time Star6 Star4) 2.914)
	(= (slew_time Star4 Star6) 2.914)
	(= (slew_time Star6 Phenomenon5) 40.91)
	(= (slew_time Phenomenon5 Star6) 40.91)
	(= (slew_time Star7 Star0) 5.342)
	(= (slew_time Star0 Star7) 5.342)
	(= (slew_time Star7 GroundStation1) 62.44)
	(= (slew_time GroundStation1 Star7) 62.44)
	(= (slew_time Star7 Star2) 67.54)
	(= (slew_time Star2 Star7) 67.54)
	(= (slew_time Star7 Star3) 0.3619)
	(= (slew_time Star3 Star7) 0.3619)
	(= (slew_time Star7 Star4) 68.47)
	(= (slew_time Star4 Star7) 68.47)
	(= (slew_time Star7 Phenomenon5) 18.87)
	(= (slew_time Phenomenon5 Star7) 18.87)
	(= (slew_time Star7 Star6) 23.81)
	(= (slew_time Star6 Star7) 23.81)
	(= (slew_time Phenomenon8 Star0) 65.16)
	(= (slew_time Star0 Phenomenon8) 65.16)
	(= (slew_time Phenomenon8 GroundStation1) 64.08)
	(= (slew_time GroundStation1 Phenomenon8) 64.08)
	(= (slew_time Phenomenon8 Star2) 2.837)
	(= (slew_time Star2 Phenomenon8) 2.837)
	(= (slew_time Phenomenon8 Star3) 11.96)
	(= (slew_time Star3 Phenomenon8) 11.96)
	(= (slew_time Phenomenon8 Star4) 17.1)
	(= (slew_time Star4 Phenomenon8) 17.1)
	(= (slew_time Phenomenon8 Phenomenon5) 16.3)
	(= (slew_time Phenomenon5 Phenomenon8) 16.3)
	(= (slew_time Phenomenon8 Star6) 9.918)
	(= (slew_time Star6 Phenomenon8) 9.918)
	(= (slew_time Phenomenon8 Star7) 7.165)
	(= (slew_time Star7 Phenomenon8) 7.165)
	(= (slew_time Phenomenon9 Star0) 16.22)
	(= (slew_time Star0 Phenomenon9) 16.22)
	(= (slew_time Phenomenon9 GroundStation1) 34.8)
	(= (slew_time GroundStation1 Phenomenon9) 34.8)
	(= (slew_time Phenomenon9 Star2) 0.9776)
	(= (slew_time Star2 Phenomenon9) 0.9776)
	(= (slew_time Phenomenon9 Star3) 4.41)
	(= (slew_time Star3 Phenomenon9) 4.41)
	(= (slew_time Phenomenon9 Star4) 26.77)
	(= (slew_time Star4 Phenomenon9) 26.77)
	(= (slew_time Phenomenon9 Phenomenon5) 33.82)
	(= (slew_time Phenomenon5 Phenomenon9) 33.82)
	(= (slew_time Phenomenon9 Star6) 35.04)
	(= (slew_time Star6 Phenomenon9) 35.04)
	(= (slew_time Phenomenon9 Star7) 17.12)
	(= (slew_time Star7 Phenomenon9) 17.12)
	(= (slew_time Phenomenon9 Phenomenon8) 4.557)
	(= (slew_time Phenomenon8 Phenomenon9) 4.557)
	(= (slew_time Star10 Star0) 37.57)
	(= (slew_time Star0 Star10) 37.57)
	(= (slew_time Star10 GroundStation1) 89.58)
	(= (slew_time GroundStation1 Star10) 89.58)
	(= (slew_time Star10 Star2) 1.56)
	(= (slew_time Star2 Star10) 1.56)
	(= (slew_time Star10 Star3) 8.979)
	(= (slew_time Star3 Star10) 8.979)
	(= (slew_time Star10 Star4) 3)
	(= (slew_time Star4 Star10) 3)
	(= (slew_time Star10 Phenomenon5) 48.8)
	(= (slew_time Phenomenon5 Star10) 48.8)
	(= (slew_time Star10 Star6) 54.23)
	(= (slew_time Star6 Star10) 54.23)
	(= (slew_time Star10 Star7) 30.1)
	(= (slew_time Star7 Star10) 30.1)
	(= (slew_time Star10 Phenomenon8) 7.569)
	(= (slew_time Phenomenon8 Star10) 7.569)
	(= (slew_time Star10 Phenomenon9) 9.911)
	(= (slew_time Phenomenon9 Star10) 9.911)
	(= (slew_time Planet11 Star0) 6.627)
	(= (slew_time Star0 Planet11) 6.627)
	(= (slew_time Planet11 GroundStation1) 19.96)
	(= (slew_time GroundStation1 Planet11) 19.96)
	(= (slew_time Planet11 Star2) 17.65)
	(= (slew_time Star2 Planet11) 17.65)
	(= (slew_time Planet11 Star3) 29.83)
	(= (slew_time Star3 Planet11) 29.83)
	(= (slew_time Planet11 Star4) 82.89)
	(= (slew_time Star4 Planet11) 82.89)
	(= (slew_time Planet11 Phenomenon5) 14.03)
	(= (slew_time Phenomenon5 Planet11) 14.03)
	(= (slew_time Planet11 Star6) 51.23)
	(= (slew_time Star6 Planet11) 51.23)
	(= (slew_time Planet11 Star7) 18.7)
	(= (slew_time Star7 Planet11) 18.7)
	(= (slew_time Planet11 Phenomenon8) 43.2)
	(= (slew_time Phenomenon8 Planet11) 43.2)
	(= (slew_time Planet11 Phenomenon9) 6.488)
	(= (slew_time Phenomenon9 Planet11) 6.488)
	(= (slew_time Planet11 Star10) 13.94)
	(= (slew_time Star10 Planet11) 13.94)
	(= (slew_time Phenomenon12 Star0) 21.19)
	(= (slew_time Star0 Phenomenon12) 21.19)
	(= (slew_time Phenomenon12 GroundStation1) 63.1)
	(= (slew_time GroundStation1 Phenomenon12) 63.1)
	(= (slew_time Phenomenon12 Star2) 33.28)
	(= (slew_time Star2 Phenomenon12) 33.28)
	(= (slew_time Phenomenon12 Star3) 8.303)
	(= (slew_time Star3 Phenomenon12) 8.303)
	(= (slew_time Phenomenon12 Star4) 0.0354)
	(= (slew_time Star4 Phenomenon12) 0.0354)
	(= (slew_time Phenomenon12 Phenomenon5) 35.36)
	(= (slew_time Phenomenon5 Phenomenon12) 35.36)
	(= (slew_time Phenomenon12 Star6) 28.91)
	(= (slew_time Star6 Phenomenon12) 28.91)
	(= (slew_time Phenomenon12 Star7) 79.29)
	(= (slew_time Star7 Phenomenon12) 79.29)
	(= (slew_time Phenomenon12 Phenomenon8) 21.34)
	(= (slew_time Phenomenon8 Phenomenon12) 21.34)
	(= (slew_time Phenomenon12 Phenomenon9) 3.596)
	(= (slew_time Phenomenon9 Phenomenon12) 3.596)
	(= (slew_time Phenomenon12 Star10) 26.75)
	(= (slew_time Star10 Phenomenon12) 26.75)
	(= (slew_time Phenomenon12 Planet11) 18.27)
	(= (slew_time Planet11 Phenomenon12) 18.27)
	(= (slew_time Phenomenon13 Star0) 6.402)
	(= (slew_time Star0 Phenomenon13) 6.402)
	(= (slew_time Phenomenon13 GroundStation1) 14.41)
	(= (slew_time GroundStation1 Phenomenon13) 14.41)
	(= (slew_time Phenomenon13 Star2) 32.41)
	(= (slew_time Star2 Phenomenon13) 32.41)
	(= (slew_time Phenomenon13 Star3) 30.34)
	(= (slew_time Star3 Phenomenon13) 30.34)
	(= (slew_time Phenomenon13 Star4) 13.91)
	(= (slew_time Star4 Phenomenon13) 13.91)
	(= (slew_time Phenomenon13 Phenomenon5) 18.31)
	(= (slew_time Phenomenon5 Phenomenon13) 18.31)
	(= (slew_time Phenomenon13 Star6) 10.86)
	(= (slew_time Star6 Phenomenon13) 10.86)
	(= (slew_time Phenomenon13 Star7) 37.39)
	(= (slew_time Star7 Phenomenon13) 37.39)
	(= (slew_time Phenomenon13 Phenomenon8) 16.53)
	(= (slew_time Phenomenon8 Phenomenon13) 16.53)
	(= (slew_time Phenomenon13 Phenomenon9) 47.05)
	(= (slew_time Phenomenon9 Phenomenon13) 47.05)
	(= (slew_time Phenomenon13 Star10) 69.35)
	(= (slew_time Star10 Phenomenon13) 69.35)
	(= (slew_time Phenomenon13 Planet11) 5.432)
	(= (slew_time Planet11 Phenomenon13) 5.432)
	(= (slew_time Phenomenon13 Phenomenon12) 1.492)
	(= (slew_time Phenomenon12 Phenomenon13) 1.492)
	(= (slew_time Phenomenon14 Star0) 0.5408)
	(= (slew_time Star0 Phenomenon14) 0.5408)
	(= (slew_time Phenomenon14 GroundStation1) 11.89)
	(= (slew_time GroundStation1 Phenomenon14) 11.89)
	(= (slew_time Phenomenon14 Star2) 2.42)
	(= (slew_time Star2 Phenomenon14) 2.42)
	(= (slew_time Phenomenon14 Star3) 75.22)
	(= (slew_time Star3 Phenomenon14) 75.22)
	(= (slew_time Phenomenon14 Star4) 12.98)
	(= (slew_time Star4 Phenomenon14) 12.98)
	(= (slew_time Phenomenon14 Phenomenon5) 40.24)
	(= (slew_time Phenomenon5 Phenomenon14) 40.24)
	(= (slew_time Phenomenon14 Star6) 32.17)
	(= (slew_time Star6 Phenomenon14) 32.17)
	(= (slew_time Phenomenon14 Star7) 34.6)
	(= (slew_time Star7 Phenomenon14) 34.6)
	(= (slew_time Phenomenon14 Phenomenon8) 19.57)
	(= (slew_time Phenomenon8 Phenomenon14) 19.57)
	(= (slew_time Phenomenon14 Phenomenon9) 19.79)
	(= (slew_time Phenomenon9 Phenomenon14) 19.79)
	(= (slew_time Phenomenon14 Star10) 19.33)
	(= (slew_time Star10 Phenomenon14) 19.33)
	(= (slew_time Phenomenon14 Planet11) 73.58)
	(= (slew_time Planet11 Phenomenon14) 73.58)
	(= (slew_time Phenomenon14 Phenomenon12) 53.64)
	(= (slew_time Phenomenon12 Phenomenon14) 53.64)
	(= (slew_time Phenomenon14 Phenomenon13) 2.715)
	(= (slew_time Phenomenon13 Phenomenon14) 2.715)
	(= (data-stored) 0)
)
(:goal (and
	(have_image Phenomenon5 thermograph1)
	(have_image Star6 thermograph1)
	(have_image Star7 spectrograph3)
	(have_image Phenomenon8 image0)
	(have_image Phenomenon9 image0)
	(have_image Star10 spectrograph3)
	(have_image Planet11 thermograph2)
	(have_image Phenomenon12 image0)
	(have_image Phenomenon13 thermograph1)
	(have_image Phenomenon14 thermograph2)
))
(:metric minimize (total-time))

)