(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)
	(= (calibration_time instrument0 Star0) 33.4)
	(on_board instrument0 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star8)
	(supports instrument1 infrared0)
	(supports instrument1 infrared1)
	(calibration_target instrument1 GroundStation3)
	(= (calibration_time instrument1 GroundStation3) 93.2)
	(supports instrument2 infrared1)
	(supports instrument2 infrared0)
	(calibration_target instrument2 Star2)
	(= (calibration_time instrument2 Star2) 25.9)
	(supports instrument3 spectrograph4)
	(supports instrument3 infrared1)
	(supports instrument3 thermograph2)
	(calibration_target instrument3 Star0)
	(= (calibration_time instrument3 Star0) 33.5)
	(on_board instrument1 satellite1)
	(on_board instrument2 satellite1)
	(on_board instrument3 satellite1)
	(power_avail satellite1)
	(pointing satellite1 GroundStation3)
	(supports instrument4 infrared1)
	(supports instrument4 image3)
	(supports instrument4 infrared0)
	(calibration_target instrument4 Star2)
	(= (calibration_time instrument4 Star2) 61.3)
	(supports instrument5 thermograph2)
	(supports instrument5 spectrograph4)
	(calibration_target instrument5 Star0)
	(= (calibration_time instrument5 Star0) 76.9)
	(supports instrument6 infrared0)
	(calibration_target instrument6 GroundStation3)
	(= (calibration_time instrument6 GroundStation3) 84.5)
	(on_board instrument4 satellite2)
	(on_board instrument5 satellite2)
	(on_board instrument6 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star4)
	(supports instrument7 image3)
	(calibration_target instrument7 Star2)
	(= (calibration_time instrument7 Star2) 95.1)
	(on_board instrument7 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon9)
	(supports instrument8 infrared0)
	(supports instrument8 spectrograph4)
	(supports instrument8 infrared1)
	(calibration_target instrument8 Star2)
	(= (calibration_time instrument8 Star2) 85.9)
	(on_board instrument8 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon9)
	(= (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)
)
(:goal (and
	(pointing satellite0 Phenomenon9)
	(pointing satellite1 Star4)
	(pointing satellite4 Star11)
	(have_image Star5 image3)
	(have_image Planet6 infrared1)
	(have_image Phenomenon7 infrared1)
	(have_image Star8 image3)
	(have_image Star10 thermograph2)
	(have_image Star11 infrared1)
	(have_image Planet13 spectrograph4)
	(have_image Planet14 thermograph2)
	(have_image Phenomenon15 infrared0)
	(have_image Planet16 image3)
	(have_image Star17 infrared0)
))
(:metric minimize (total-time))

)