(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	satellite1 - satellite
	instrument1 - instrument
	instrument2 - instrument
	instrument3 - instrument
	satellite2 - satellite
	instrument4 - instrument
	instrument5 - instrument
	instrument6 - instrument
	satellite3 - satellite
	instrument7 - instrument
	satellite4 - satellite
	instrument8 - instrument
	thermograph2 - mode
	image3 - mode
	infrared1 - mode
	spectrograph4 - mode
	infrared0 - mode
	Star1 - direction
	Star4 - direction
	Star0 - direction
	GroundStation3 - direction
	Star2 - direction
	Star5 - direction
	Planet6 - direction
	Phenomenon7 - direction
	Star8 - direction
	Phenomenon9 - direction
	Star10 - direction
	Star11 - direction
	Star12 - direction
	Planet13 - direction
	Planet14 - direction
	Phenomenon15 - direction
	Planet16 - direction
	Star17 - direction
	Star18 - direction
	Planet19 - direction
)
(:init
	(supports instrument0 spectrograph4)
	(calibration_target instrument0 Star0)
	(on_board instrument0 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star8)
	(= (data_capacity satellite0) 1000)
	(= (fuel satellite0) 175)
	(supports instrument1 infrared0)
	(supports instrument1 infrared1)
	(calibration_target instrument1 GroundStation3)
	(supports instrument2 infrared1)
	(supports instrument2 infrared0)
	(calibration_target instrument2 Star2)
	(supports instrument3 spectrograph4)
	(supports instrument3 infrared1)
	(supports instrument3 thermograph2)
	(calibration_target instrument3 Star0)
	(on_board instrument1 satellite1)
	(on_board instrument2 satellite1)
	(on_board instrument3 satellite1)
	(power_avail satellite1)
	(pointing satellite1 GroundStation3)
	(= (data_capacity satellite1) 1000)
	(= (fuel satellite1) 136)
	(supports instrument4 infrared1)
	(supports instrument4 image3)
	(supports instrument4 infrared0)
	(calibration_target instrument4 Star2)
	(supports instrument5 thermograph2)
	(supports instrument5 spectrograph4)
	(calibration_target instrument5 Star0)
	(supports instrument6 infrared0)
	(calibration_target instrument6 GroundStation3)
	(on_board instrument4 satellite2)
	(on_board instrument5 satellite2)
	(on_board instrument6 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star4)
	(= (data_capacity satellite2) 1000)
	(= (fuel satellite2) 193)
	(supports instrument7 image3)
	(calibration_target instrument7 Star2)
	(on_board instrument7 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon9)
	(= (data_capacity satellite3) 1000)
	(= (fuel satellite3) 126)
	(supports instrument8 infrared0)
	(supports instrument8 spectrograph4)
	(supports instrument8 infrared1)
	(calibration_target instrument8 Star2)
	(on_board instrument8 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon9)
	(= (data_capacity satellite4) 1000)
	(= (fuel satellite4) 137)
	(= (data Star5 thermograph2) 251)
	(= (data Planet6 thermograph2) 243)
	(= (data Phenomenon7 thermograph2) 5)
	(= (data Star8 thermograph2) 86)
	(= (data Phenomenon9 thermograph2) 157)
	(= (data Star10 thermograph2) 75)
	(= (data Star11 thermograph2) 201)
	(= (data Star12 thermograph2) 292)
	(= (data Planet13 thermograph2) 51)
	(= (data Planet14 thermograph2) 97)
	(= (data Phenomenon15 thermograph2) 124)
	(= (data Planet16 thermograph2) 90)
	(= (data Star17 thermograph2) 218)
	(= (data Star18 thermograph2) 169)
	(= (data Planet19 thermograph2) 259)
	(= (data Star5 image3) 245)
	(= (data Planet6 image3) 189)
	(= (data Phenomenon7 image3) 225)
	(= (data Star8 image3) 172)
	(= (data Phenomenon9 image3) 232)
	(= (data Star10 image3) 250)
	(= (data Star11 image3) 13)
	(= (data Star12 image3) 89)
	(= (data Planet13 image3) 101)
	(= (data Planet14 image3) 247)
	(= (data Phenomenon15 image3) 36)
	(= (data Planet16 image3) 114)
	(= (data Star17 image3) 143)
	(= (data Star18 image3) 135)
	(= (data Planet19 image3) 173)
	(= (data Star5 infrared1) 137)
	(= (data Planet6 infrared1) 241)
	(= (data Phenomenon7 infrared1) 54)
	(= (data Star8 infrared1) 210)
	(= (data Phenomenon9 infrared1) 191)
	(= (data Star10 infrared1) 105)
	(= (data Star11 infrared1) 2)
	(= (data Star12 infrared1) 87)
	(= (data Planet13 infrared1) 211)
	(= (data Planet14 infrared1) 257)
	(= (data Phenomenon15 infrared1) 21)
	(= (data Planet16 infrared1) 231)
	(= (data Star17 infrared1) 169)
	(= (data Star18 infrared1) 224)
	(= (data Planet19 infrared1) 7)
	(= (data Star5 spectrograph4) 204)
	(= (data Planet6 spectrograph4) 138)
	(= (data Phenomenon7 spectrograph4) 286)
	(= (data Star8 spectrograph4) 243)
	(= (data Phenomenon9 spectrograph4) 265)
	(= (data Star10 spectrograph4) 262)
	(= (data Star11 spectrograph4) 263)
	(= (data Star12 spectrograph4) 15)
	(= (data Planet13 spectrograph4) 230)
	(= (data Planet14 spectrograph4) 208)
	(= (data Phenomenon15 spectrograph4) 33)
	(= (data Planet16 spectrograph4) 185)
	(= (data Star17 spectrograph4) 105)
	(= (data Star18 spectrograph4) 57)
	(= (data Planet19 spectrograph4) 92)
	(= (data Star5 infrared0) 272)
	(= (data Planet6 infrared0) 265)
	(= (data Phenomenon7 infrared0) 242)
	(= (data Star8 infrared0) 74)
	(= (data Phenomenon9 infrared0) 14)
	(= (data Star10 infrared0) 59)
	(= (data Star11 infrared0) 63)
	(= (data Star12 infrared0) 180)
	(= (data Planet13 infrared0) 106)
	(= (data Planet14 infrared0) 216)
	(= (data Phenomenon15 infrared0) 145)
	(= (data Planet16 infrared0) 255)
	(= (data Star17 infrared0) 269)
	(= (data Star18 infrared0) 259)
	(= (data Planet19 infrared0) 58)
	(= (slew_time Star1 Star0) 30.14)
	(= (slew_time Star0 Star1) 30.14)
	(= (slew_time Star4 Star0) 86.35)
	(= (slew_time Star0 Star4) 86.35)
	(= (slew_time Star4 Star1) 8.817)
	(= (slew_time Star1 Star4) 8.817)
	(= (slew_time Star4 Star2) 20.29)
	(= (slew_time Star2 Star4) 20.29)
	(= (slew_time Star4 GroundStation3) 36.03)
	(= (slew_time GroundStation3 Star4) 36.03)
	(= (slew_time GroundStation3 Star0) 3.907)
	(= (slew_time Star0 GroundStation3) 3.907)
	(= (slew_time GroundStation3 Star1) 68.39)
	(= (slew_time Star1 GroundStation3) 68.39)
	(= (slew_time GroundStation3 Star2) 88.28)
	(= (slew_time Star2 GroundStation3) 88.28)
	(= (slew_time Star2 Star0) 28.55)
	(= (slew_time Star0 Star2) 28.55)
	(= (slew_time Star2 Star1) 27.94)
	(= (slew_time Star1 Star2) 27.94)
	(= (slew_time Star5 Star0) 7.206)
	(= (slew_time Star0 Star5) 7.206)
	(= (slew_time Star5 Star1) 7.747)
	(= (slew_time Star1 Star5) 7.747)
	(= (slew_time Star5 Star2) 21.33)
	(= (slew_time Star2 Star5) 21.33)
	(= (slew_time Star5 GroundStation3) 19.93)
	(= (slew_time GroundStation3 Star5) 19.93)
	(= (slew_time Star5 Star4) 5.156)
	(= (slew_time Star4 Star5) 5.156)
	(= (slew_time Planet6 Star0) 9.606)
	(= (slew_time Star0 Planet6) 9.606)
	(= (slew_time Planet6 Star1) 21.05)
	(= (slew_time Star1 Planet6) 21.05)
	(= (slew_time Planet6 Star2) 15.07)
	(= (slew_time Star2 Planet6) 15.07)
	(= (slew_time Planet6 GroundStation3) 31.79)
	(= (slew_time GroundStation3 Planet6) 31.79)
	(= (slew_time Planet6 Star4) 40.94)
	(= (slew_time Star4 Planet6) 40.94)
	(= (slew_time Planet6 Star5) 91.46)
	(= (slew_time Star5 Planet6) 91.46)
	(= (slew_time Phenomenon7 Star0) 44.19)
	(= (slew_time Star0 Phenomenon7) 44.19)
	(= (slew_time Phenomenon7 Star1) 13.03)
	(= (slew_time Star1 Phenomenon7) 13.03)
	(= (slew_time Phenomenon7 Star2) 25.13)
	(= (slew_time Star2 Phenomenon7) 25.13)
	(= (slew_time Phenomenon7 GroundStation3) 17.06)
	(= (slew_time GroundStation3 Phenomenon7) 17.06)
	(= (slew_time Phenomenon7 Star4) 28.11)
	(= (slew_time Star4 Phenomenon7) 28.11)
	(= (slew_time Phenomenon7 Star5) 32.63)
	(= (slew_time Star5 Phenomenon7) 32.63)
	(= (slew_time Phenomenon7 Planet6) 48.35)
	(= (slew_time Planet6 Phenomenon7) 48.35)
	(= (slew_time Star8 Star0) 55.89)
	(= (slew_time Star0 Star8) 55.89)
	(= (slew_time Star8 Star1) 48.24)
	(= (slew_time Star1 Star8) 48.24)
	(= (slew_time Star8 Star2) 2.983)
	(= (slew_time Star2 Star8) 2.983)
	(= (slew_time Star8 GroundStation3) 19.08)
	(= (slew_time GroundStation3 Star8) 19.08)
	(= (slew_time Star8 Star4) 25.8)
	(= (slew_time Star4 Star8) 25.8)
	(= (slew_time Star8 Star5) 10.09)
	(= (slew_time Star5 Star8) 10.09)
	(= (slew_time Star8 Planet6) 52.98)
	(= (slew_time Planet6 Star8) 52.98)
	(= (slew_time Star8 Phenomenon7) 30.06)
	(= (slew_time Phenomenon7 Star8) 30.06)
	(= (slew_time Phenomenon9 Star0) 10.64)
	(= (slew_time Star0 Phenomenon9) 10.64)
	(= (slew_time Phenomenon9 Star1) 70.33)
	(= (slew_time Star1 Phenomenon9) 70.33)
	(= (slew_time Phenomenon9 Star2) 81.73)
	(= (slew_time Star2 Phenomenon9) 81.73)
	(= (slew_time Phenomenon9 GroundStation3) 28.3)
	(= (slew_time GroundStation3 Phenomenon9) 28.3)
	(= (slew_time Phenomenon9 Star4) 64.3)
	(= (slew_time Star4 Phenomenon9) 64.3)
	(= (slew_time Phenomenon9 Star5) 25)
	(= (slew_time Star5 Phenomenon9) 25)
	(= (slew_time Phenomenon9 Planet6) 83.37)
	(= (slew_time Planet6 Phenomenon9) 83.37)
	(= (slew_time Phenomenon9 Phenomenon7) 31.49)
	(= (slew_time Phenomenon7 Phenomenon9) 31.49)
	(= (slew_time Phenomenon9 Star8) 32.15)
	(= (slew_time Star8 Phenomenon9) 32.15)
	(= (slew_time Star10 Star0) 16.44)
	(= (slew_time Star0 Star10) 16.44)
	(= (slew_time Star10 Star1) 42.01)
	(= (slew_time Star1 Star10) 42.01)
	(= (slew_time Star10 Star2) 50.13)
	(= (slew_time Star2 Star10) 50.13)
	(= (slew_time Star10 GroundStation3) 59.47)
	(= (slew_time GroundStation3 Star10) 59.47)
	(= (slew_time Star10 Star4) 0.8152)
	(= (slew_time Star4 Star10) 0.8152)
	(= (slew_time Star10 Star5) 37.38)
	(= (slew_time Star5 Star10) 37.38)
	(= (slew_time Star10 Planet6) 39.82)
	(= (slew_time Planet6 Star10) 39.82)
	(= (slew_time Star10 Phenomenon7) 46.2)
	(= (slew_time Phenomenon7 Star10) 46.2)
	(= (slew_time Star10 Star8) 10.29)
	(= (slew_time Star8 Star10) 10.29)
	(= (slew_time Star10 Phenomenon9) 2.647)
	(= (slew_time Phenomenon9 Star10) 2.647)
	(= (slew_time Star11 Star0) 69.26)
	(= (slew_time Star0 Star11) 69.26)
	(= (slew_time Star11 Star1) 1.269)
	(= (slew_time Star1 Star11) 1.269)
	(= (slew_time Star11 Star2) 3.907)
	(= (slew_time Star2 Star11) 3.907)
	(= (slew_time Star11 GroundStation3) 41.13)
	(= (slew_time GroundStation3 Star11) 41.13)
	(= (slew_time Star11 Star4) 12)
	(= (slew_time Star4 Star11) 12)
	(= (slew_time Star11 Star5) 84.01)
	(= (slew_time Star5 Star11) 84.01)
	(= (slew_time Star11 Planet6) 44.2)
	(= (slew_time Planet6 Star11) 44.2)
	(= (slew_time Star11 Phenomenon7) 3.35)
	(= (slew_time Phenomenon7 Star11) 3.35)
	(= (slew_time Star11 Star8) 48.59)
	(= (slew_time Star8 Star11) 48.59)
	(= (slew_time Star11 Phenomenon9) 6.998)
	(= (slew_time Phenomenon9 Star11) 6.998)
	(= (slew_time Star11 Star10) 59.87)
	(= (slew_time Star10 Star11) 59.87)
	(= (slew_time Star12 Star0) 6.578)
	(= (slew_time Star0 Star12) 6.578)
	(= (slew_time Star12 Star1) 19.55)
	(= (slew_time Star1 Star12) 19.55)
	(= (slew_time Star12 Star2) 82.34)
	(= (slew_time Star2 Star12) 82.34)
	(= (slew_time Star12 GroundStation3) 74.19)
	(= (slew_time GroundStation3 Star12) 74.19)
	(= (slew_time Star12 Star4) 3.021)
	(= (slew_time Star4 Star12) 3.021)
	(= (slew_time Star12 Star5) 51.17)
	(= (slew_time Star5 Star12) 51.17)
	(= (slew_time Star12 Planet6) 23.18)
	(= (slew_time Planet6 Star12) 23.18)
	(= (slew_time Star12 Phenomenon7) 36.15)
	(= (slew_time Phenomenon7 Star12) 36.15)
	(= (slew_time Star12 Star8) 7.791)
	(= (slew_time Star8 Star12) 7.791)
	(= (slew_time Star12 Phenomenon9) 1.105)
	(= (slew_time Phenomenon9 Star12) 1.105)
	(= (slew_time Star12 Star10) 41.47)
	(= (slew_time Star10 Star12) 41.47)
	(= (slew_time Star12 Star11) 47.55)
	(= (slew_time Star11 Star12) 47.55)
	(= (slew_time Planet13 Star0) 87.45)
	(= (slew_time Star0 Planet13) 87.45)
	(= (slew_time Planet13 Star1) 92.14)
	(= (slew_time Star1 Planet13) 92.14)
	(= (slew_time Planet13 Star2) 64.86)
	(= (slew_time Star2 Planet13) 64.86)
	(= (slew_time Planet13 GroundStation3) 18.51)
	(= (slew_time GroundStation3 Planet13) 18.51)
	(= (slew_time Planet13 Star4) 10.47)
	(= (slew_time Star4 Planet13) 10.47)
	(= (slew_time Planet13 Star5) 44.59)
	(= (slew_time Star5 Planet13) 44.59)
	(= (slew_time Planet13 Planet6) 42.87)
	(= (slew_time Planet6 Planet13) 42.87)
	(= (slew_time Planet13 Phenomenon7) 25.35)
	(= (slew_time Phenomenon7 Planet13) 25.35)
	(= (slew_time Planet13 Star8) 60.2)
	(= (slew_time Star8 Planet13) 60.2)
	(= (slew_time Planet13 Phenomenon9) 14.32)
	(= (slew_time Phenomenon9 Planet13) 14.32)
	(= (slew_time Planet13 Star10) 50.34)
	(= (slew_time Star10 Planet13) 50.34)
	(= (slew_time Planet13 Star11) 48.52)
	(= (slew_time Star11 Planet13) 48.52)
	(= (slew_time Planet13 Star12) 76.48)
	(= (slew_time Star12 Planet13) 76.48)
	(= (slew_time Planet14 Star0) 18.54)
	(= (slew_time Star0 Planet14) 18.54)
	(= (slew_time Planet14 Star1) 86.55)
	(= (slew_time Star1 Planet14) 86.55)
	(= (slew_time Planet14 Star2) 73.39)
	(= (slew_time Star2 Planet14) 73.39)
	(= (slew_time Planet14 GroundStation3) 30.89)
	(= (slew_time GroundStation3 Planet14) 30.89)
	(= (slew_time Planet14 Star4) 8.435)
	(= (slew_time Star4 Planet14) 8.435)
	(= (slew_time Planet14 Star5) 31.89)
	(= (slew_time Star5 Planet14) 31.89)
	(= (slew_time Planet14 Planet6) 9.383)
	(= (slew_time Planet6 Planet14) 9.383)
	(= (slew_time Planet14 Phenomenon7) 61.68)
	(= (slew_time Phenomenon7 Planet14) 61.68)
	(= (slew_time Planet14 Star8) 19.87)
	(= (slew_time Star8 Planet14) 19.87)
	(= (slew_time Planet14 Phenomenon9) 9.747)
	(= (slew_time Phenomenon9 Planet14) 9.747)
	(= (slew_time Planet14 Star10) 6.11)
	(= (slew_time Star10 Planet14) 6.11)
	(= (slew_time Planet14 Star11) 12.49)
	(= (slew_time Star11 Planet14) 12.49)
	(= (slew_time Planet14 Star12) 45.58)
	(= (slew_time Star12 Planet14) 45.58)
	(= (slew_time Planet14 Planet13) 86.53)
	(= (slew_time Planet13 Planet14) 86.53)
	(= (slew_time Phenomenon15 Star0) 80.74)
	(= (slew_time Star0 Phenomenon15) 80.74)
	(= (slew_time Phenomenon15 Star1) 79.31)
	(= (slew_time Star1 Phenomenon15) 79.31)
	(= (slew_time Phenomenon15 Star2) 25.38)
	(= (slew_time Star2 Phenomenon15) 25.38)
	(= (slew_time Phenomenon15 GroundStation3) 59.71)
	(= (slew_time GroundStation3 Phenomenon15) 59.71)
	(= (slew_time Phenomenon15 Star4) 11.65)
	(= (slew_time Star4 Phenomenon15) 11.65)
	(= (slew_time Phenomenon15 Star5) 64.71)
	(= (slew_time Star5 Phenomenon15) 64.71)
	(= (slew_time Phenomenon15 Planet6) 8.308)
	(= (slew_time Planet6 Phenomenon15) 8.308)
	(= (slew_time Phenomenon15 Phenomenon7) 47.39)
	(= (slew_time Phenomenon7 Phenomenon15) 47.39)
	(= (slew_time Phenomenon15 Star8) 9.706)
	(= (slew_time Star8 Phenomenon15) 9.706)
	(= (slew_time Phenomenon15 Phenomenon9) 65.5)
	(= (slew_time Phenomenon9 Phenomenon15) 65.5)
	(= (slew_time Phenomenon15 Star10) 14.87)
	(= (slew_time Star10 Phenomenon15) 14.87)
	(= (slew_time Phenomenon15 Star11) 3.127)
	(= (slew_time Star11 Phenomenon15) 3.127)
	(= (slew_time Phenomenon15 Star12) 17.72)
	(= (slew_time Star12 Phenomenon15) 17.72)
	(= (slew_time Phenomenon15 Planet13) 28.39)
	(= (slew_time Planet13 Phenomenon15) 28.39)
	(= (slew_time Phenomenon15 Planet14) 10.25)
	(= (slew_time Planet14 Phenomenon15) 10.25)
	(= (slew_time Planet16 Star0) 82.33)
	(= (slew_time Star0 Planet16) 82.33)
	(= (slew_time Planet16 Star1) 75.35)
	(= (slew_time Star1 Planet16) 75.35)
	(= (slew_time Planet16 Star2) 5.849)
	(= (slew_time Star2 Planet16) 5.849)
	(= (slew_time Planet16 GroundStation3) 29)
	(= (slew_time GroundStation3 Planet16) 29)
	(= (slew_time Planet16 Star4) 31.57)
	(= (slew_time Star4 Planet16) 31.57)
	(= (slew_time Planet16 Star5) 8.736)
	(= (slew_time Star5 Planet16) 8.736)
	(= (slew_time Planet16 Planet6) 54.74)
	(= (slew_time Planet6 Planet16) 54.74)
	(= (slew_time Planet16 Phenomenon7) 17.18)
	(= (slew_time Phenomenon7 Planet16) 17.18)
	(= (slew_time Planet16 Star8) 33.43)
	(= (slew_time Star8 Planet16) 33.43)
	(= (slew_time Planet16 Phenomenon9) 2.046)
	(= (slew_time Phenomenon9 Planet16) 2.046)
	(= (slew_time Planet16 Star10) 87.85)
	(= (slew_time Star10 Planet16) 87.85)
	(= (slew_time Planet16 Star11) 7.638)
	(= (slew_time Star11 Planet16) 7.638)
	(= (slew_time Planet16 Star12) 22.11)
	(= (slew_time Star12 Planet16) 22.11)
	(= (slew_time Planet16 Planet13) 20.15)
	(= (slew_time Planet13 Planet16) 20.15)
	(= (slew_time Planet16 Planet14) 75.67)
	(= (slew_time Planet14 Planet16) 75.67)
	(= (slew_time Planet16 Phenomenon15) 54.32)
	(= (slew_time Phenomenon15 Planet16) 54.32)
	(= (slew_time Star17 Star0) 0.7496)
	(= (slew_time Star0 Star17) 0.7496)
	(= (slew_time Star17 Star1) 23.05)
	(= (slew_time Star1 Star17) 23.05)
	(= (slew_time Star17 Star2) 86.27)
	(= (slew_time Star2 Star17) 86.27)
	(= (slew_time Star17 GroundStation3) 14.67)
	(= (slew_time GroundStation3 Star17) 14.67)
	(= (slew_time Star17 Star4) 55.53)
	(= (slew_time Star4 Star17) 55.53)
	(= (slew_time Star17 Star5) 20.83)
	(= (slew_time Star5 Star17) 20.83)
	(= (slew_time Star17 Planet6) 53.28)
	(= (slew_time Planet6 Star17) 53.28)
	(= (slew_time Star17 Phenomenon7) 20.12)
	(= (slew_time Phenomenon7 Star17) 20.12)
	(= (slew_time Star17 Star8) 21.84)
	(= (slew_time Star8 Star17) 21.84)
	(= (slew_time Star17 Phenomenon9) 33.95)
	(= (slew_time Phenomenon9 Star17) 33.95)
	(= (slew_time Star17 Star10) 18.13)
	(= (slew_time Star10 Star17) 18.13)
	(= (slew_time Star17 Star11) 22.97)
	(= (slew_time Star11 Star17) 22.97)
	(= (slew_time Star17 Star12) 26.43)
	(= (slew_time Star12 Star17) 26.43)
	(= (slew_time Star17 Planet13) 55.6)
	(= (slew_time Planet13 Star17) 55.6)
	(= (slew_time Star17 Planet14) 32.76)
	(= (slew_time Planet14 Star17) 32.76)
	(= (slew_time Star17 Phenomenon15) 48.39)
	(= (slew_time Phenomenon15 Star17) 48.39)
	(= (slew_time Star17 Planet16) 71.61)
	(= (slew_time Planet16 Star17) 71.61)
	(= (slew_time Star18 Star0) 28.18)
	(= (slew_time Star0 Star18) 28.18)
	(= (slew_time Star18 Star1) 46.01)
	(= (slew_time Star1 Star18) 46.01)
	(= (slew_time Star18 Star2) 51.23)
	(= (slew_time Star2 Star18) 51.23)
	(= (slew_time Star18 GroundStation3) 20.41)
	(= (slew_time GroundStation3 Star18) 20.41)
	(= (slew_time Star18 Star4) 72.06)
	(= (slew_time Star4 Star18) 72.06)
	(= (slew_time Star18 Star5) 28.93)
	(= (slew_time Star5 Star18) 28.93)
	(= (slew_time Star18 Planet6) 14.07)
	(= (slew_time Planet6 Star18) 14.07)
	(= (slew_time Star18 Phenomenon7) 31.34)
	(= (slew_time Phenomenon7 Star18) 31.34)
	(= (slew_time Star18 Star8) 55.42)
	(= (slew_time Star8 Star18) 55.42)
	(= (slew_time Star18 Phenomenon9) 60.49)
	(= (slew_time Phenomenon9 Star18) 60.49)
	(= (slew_time Star18 Star10) 8.432)
	(= (slew_time Star10 Star18) 8.432)
	(= (slew_time Star18 Star11) 63.5)
	(= (slew_time Star11 Star18) 63.5)
	(= (slew_time Star18 Star12) 42.3)
	(= (slew_time Star12 Star18) 42.3)
	(= (slew_time Star18 Planet13) 32.88)
	(= (slew_time Planet13 Star18) 32.88)
	(= (slew_time Star18 Planet14) 40.66)
	(= (slew_time Planet14 Star18) 40.66)
	(= (slew_time Star18 Phenomenon15) 51.85)
	(= (slew_time Phenomenon15 Star18) 51.85)
	(= (slew_time Star18 Planet16) 50.33)
	(= (slew_time Planet16 Star18) 50.33)
	(= (slew_time Star18 Star17) 44.7)
	(= (slew_time Star17 Star18) 44.7)
	(= (slew_time Planet19 Star0) 42.71)
	(= (slew_time Star0 Planet19) 42.71)
	(= (slew_time Planet19 Star1) 25.32)
	(= (slew_time Star1 Planet19) 25.32)
	(= (slew_time Planet19 Star2) 46.59)
	(= (slew_time Star2 Planet19) 46.59)
	(= (slew_time Planet19 GroundStation3) 2.535)
	(= (slew_time GroundStation3 Planet19) 2.535)
	(= (slew_time Planet19 Star4) 16.27)
	(= (slew_time Star4 Planet19) 16.27)
	(= (slew_time Planet19 Star5) 9.864)
	(= (slew_time Star5 Planet19) 9.864)
	(= (slew_time Planet19 Planet6) 1.734)
	(= (slew_time Planet6 Planet19) 1.734)
	(= (slew_time Planet19 Phenomenon7) 9.852)
	(= (slew_time Phenomenon7 Planet19) 9.852)
	(= (slew_time Planet19 Star8) 12.33)
	(= (slew_time Star8 Planet19) 12.33)
	(= (slew_time Planet19 Phenomenon9) 71.68)
	(= (slew_time Phenomenon9 Planet19) 71.68)
	(= (slew_time Planet19 Star10) 14.3)
	(= (slew_time Star10 Planet19) 14.3)
	(= (slew_time Planet19 Star11) 93.22)
	(= (slew_time Star11 Planet19) 93.22)
	(= (slew_time Planet19 Star12) 74.64)
	(= (slew_time Star12 Planet19) 74.64)
	(= (slew_time Planet19 Planet13) 21.93)
	(= (slew_time Planet13 Planet19) 21.93)
	(= (slew_time Planet19 Planet14) 40.22)
	(= (slew_time Planet14 Planet19) 40.22)
	(= (slew_time Planet19 Phenomenon15) 23.03)
	(= (slew_time Phenomenon15 Planet19) 23.03)
	(= (slew_time Planet19 Planet16) 61.83)
	(= (slew_time Planet16 Planet19) 61.83)
	(= (slew_time Planet19 Star17) 11.17)
	(= (slew_time Star17 Planet19) 11.17)
	(= (slew_time Planet19 Star18) 49.52)
	(= (slew_time Star18 Planet19) 49.52)
	(= (data-stored) 0)
	(= (fuel-used) 0)
)
(:goal (and
	(pointing satellite0 Phenomenon9)
	(pointing satellite1 Star4)
	(pointing satellite4 Star11)
))
(:metric maximize (data-stored))

)