(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
	satellite3 - satellite
	instrument7 - instrument
	satellite4 - satellite
	instrument8 - instrument
	instrument9 - instrument
	instrument10 - instrument
	satellite5 - satellite
	instrument11 - instrument
	instrument12 - instrument
	instrument13 - instrument
	satellite6 - satellite
	instrument14 - instrument
	instrument15 - instrument
	instrument16 - instrument
	satellite7 - satellite
	instrument17 - instrument
	instrument18 - instrument
	satellite8 - satellite
	instrument19 - instrument
	instrument20 - instrument
	instrument21 - instrument
	satellite9 - satellite
	instrument22 - instrument
	image0 - mode
	image2 - mode
	infrared4 - mode
	thermograph1 - mode
	spectrograph3 - mode
	GroundStation0 - direction
	Star3 - direction
	GroundStation4 - direction
	Star2 - direction
	GroundStation1 - direction
	Phenomenon5 - direction
	Planet6 - direction
	Planet7 - direction
	Planet8 - direction
	Phenomenon9 - direction
	Planet10 - direction
	Planet11 - direction
	Star12 - direction
	Star13 - direction
	Star14 - direction
	Star15 - direction
	Star16 - direction
	Phenomenon17 - direction
	Phenomenon18 - direction
	Planet19 - direction
	Star20 - direction
	Planet21 - direction
	Planet22 - direction
	Phenomenon23 - direction
	Star24 - direction
)
(:init
	(supports instrument0 infrared4)
	(calibration_target instrument0 Star3)
	(= (calibration_time instrument0 Star3) 8.73)
	(supports instrument1 spectrograph3)
	(calibration_target instrument1 GroundStation0)
	(= (calibration_time instrument1 GroundStation0) 44.6)
	(supports instrument2 image0)
	(supports instrument2 thermograph1)
	(supports instrument2 image2)
	(calibration_target instrument2 GroundStation1)
	(= (calibration_time instrument2 GroundStation1) 47.1)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star15)
	(supports instrument3 thermograph1)
	(supports instrument3 image0)
	(calibration_target instrument3 GroundStation4)
	(= (calibration_time instrument3 GroundStation4) 99.4)
	(supports instrument4 image2)
	(supports instrument4 thermograph1)
	(calibration_target instrument4 Star3)
	(= (calibration_time instrument4 Star3) 94.9)
	(supports instrument5 spectrograph3)
	(supports instrument5 thermograph1)
	(supports instrument5 image2)
	(calibration_target instrument5 GroundStation4)
	(= (calibration_time instrument5 GroundStation4) 38.5)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Planet10)
	(supports instrument6 image0)
	(calibration_target instrument6 GroundStation1)
	(= (calibration_time instrument6 GroundStation1) 35)
	(on_board instrument6 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star24)
	(supports instrument7 infrared4)
	(calibration_target instrument7 Star3)
	(= (calibration_time instrument7 Star3) 7.73)
	(on_board instrument7 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon9)
	(supports instrument8 spectrograph3)
	(calibration_target instrument8 GroundStation0)
	(= (calibration_time instrument8 GroundStation0) 89)
	(supports instrument9 image0)
	(supports instrument9 image2)
	(supports instrument9 thermograph1)
	(calibration_target instrument9 Star3)
	(= (calibration_time instrument9 Star3) 61.7)
	(supports instrument10 image0)
	(supports instrument10 image2)
	(supports instrument10 spectrograph3)
	(calibration_target instrument10 Star2)
	(= (calibration_time instrument10 Star2) 81.6)
	(on_board instrument8 satellite4)
	(on_board instrument9 satellite4)
	(on_board instrument10 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet19)
	(supports instrument11 image0)
	(calibration_target instrument11 Star3)
	(= (calibration_time instrument11 Star3) 71.2)
	(supports instrument12 infrared4)
	(supports instrument12 image0)
	(calibration_target instrument12 GroundStation4)
	(= (calibration_time instrument12 GroundStation4) 85.3)
	(supports instrument13 spectrograph3)
	(calibration_target instrument13 Star2)
	(= (calibration_time instrument13 Star2) 91.8)
	(on_board instrument11 satellite5)
	(on_board instrument12 satellite5)
	(on_board instrument13 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet10)
	(supports instrument14 spectrograph3)
	(supports instrument14 thermograph1)
	(supports instrument14 image0)
	(calibration_target instrument14 Star3)
	(= (calibration_time instrument14 Star3) 84.7)
	(supports instrument15 image0)
	(supports instrument15 thermograph1)
	(supports instrument15 image2)
	(calibration_target instrument15 GroundStation4)
	(= (calibration_time instrument15 GroundStation4) 59.4)
	(supports instrument16 spectrograph3)
	(supports instrument16 image2)
	(calibration_target instrument16 GroundStation0)
	(= (calibration_time instrument16 GroundStation0) 49.7)
	(on_board instrument14 satellite6)
	(on_board instrument15 satellite6)
	(on_board instrument16 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Planet11)
	(supports instrument17 thermograph1)
	(supports instrument17 image2)
	(supports instrument17 image0)
	(calibration_target instrument17 GroundStation4)
	(= (calibration_time instrument17 GroundStation4) 56.3)
	(supports instrument18 image2)
	(supports instrument18 thermograph1)
	(calibration_target instrument18 Star3)
	(= (calibration_time instrument18 Star3) 58.6)
	(on_board instrument17 satellite7)
	(on_board instrument18 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Planet11)
	(supports instrument19 thermograph1)
	(supports instrument19 infrared4)
	(calibration_target instrument19 Star2)
	(= (calibration_time instrument19 Star2) 46.3)
	(supports instrument20 thermograph1)
	(calibration_target instrument20 GroundStation4)
	(= (calibration_time instrument20 GroundStation4) 35.5)
	(supports instrument21 thermograph1)
	(calibration_target instrument21 Star2)
	(= (calibration_time instrument21 Star2) 94)
	(on_board instrument19 satellite8)
	(on_board instrument20 satellite8)
	(on_board instrument21 satellite8)
	(power_avail satellite8)
	(pointing satellite8 GroundStation4)
	(supports instrument22 spectrograph3)
	(supports instrument22 thermograph1)
	(supports instrument22 infrared4)
	(calibration_target instrument22 GroundStation1)
	(= (calibration_time instrument22 GroundStation1) 1.07)
	(on_board instrument22 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Planet11)
	(= (slew_time Star3 GroundStation0) 82.65)
	(= (slew_time GroundStation0 Star3) 82.65)
	(= (slew_time Star3 GroundStation1) 72.99)
	(= (slew_time GroundStation1 Star3) 72.99)
	(= (slew_time Star3 Star2) 59.75)
	(= (slew_time Star2 Star3) 59.75)
	(= (slew_time GroundStation4 GroundStation0) 27.69)
	(= (slew_time GroundStation0 GroundStation4) 27.69)
	(= (slew_time GroundStation4 GroundStation1) 13.02)
	(= (slew_time GroundStation1 GroundStation4) 13.02)
	(= (slew_time GroundStation4 Star2) 40.67)
	(= (slew_time Star2 GroundStation4) 40.67)
	(= (slew_time GroundStation4 Star3) 36.16)
	(= (slew_time Star3 GroundStation4) 36.16)
	(= (slew_time Star2 GroundStation0) 42.16)
	(= (slew_time GroundStation0 Star2) 42.16)
	(= (slew_time Star2 GroundStation1) 36.03)
	(= (slew_time GroundStation1 Star2) 36.03)
	(= (slew_time GroundStation1 GroundStation0) 7.759)
	(= (slew_time GroundStation0 GroundStation1) 7.759)
	(= (slew_time Phenomenon5 GroundStation0) 5.225)
	(= (slew_time GroundStation0 Phenomenon5) 5.225)
	(= (slew_time Phenomenon5 GroundStation1) 31.6)
	(= (slew_time GroundStation1 Phenomenon5) 31.6)
	(= (slew_time Phenomenon5 Star2) 57.41)
	(= (slew_time Star2 Phenomenon5) 57.41)
	(= (slew_time Phenomenon5 Star3) 29.86)
	(= (slew_time Star3 Phenomenon5) 29.86)
	(= (slew_time Phenomenon5 GroundStation4) 7.052)
	(= (slew_time GroundStation4 Phenomenon5) 7.052)
	(= (slew_time Planet6 GroundStation0) 23.31)
	(= (slew_time GroundStation0 Planet6) 23.31)
	(= (slew_time Planet6 GroundStation1) 70.99)
	(= (slew_time GroundStation1 Planet6) 70.99)
	(= (slew_time Planet6 Star2) 34.6)
	(= (slew_time Star2 Planet6) 34.6)
	(= (slew_time Planet6 Star3) 15.59)
	(= (slew_time Star3 Planet6) 15.59)
	(= (slew_time Planet6 GroundStation4) 18.01)
	(= (slew_time GroundStation4 Planet6) 18.01)
	(= (slew_time Planet6 Phenomenon5) 52.95)
	(= (slew_time Phenomenon5 Planet6) 52.95)
	(= (slew_time Planet7 GroundStation0) 20.05)
	(= (slew_time GroundStation0 Planet7) 20.05)
	(= (slew_time Planet7 GroundStation1) 2.571)
	(= (slew_time GroundStation1 Planet7) 2.571)
	(= (slew_time Planet7 Star2) 6.524)
	(= (slew_time Star2 Planet7) 6.524)
	(= (slew_time Planet7 Star3) 0.8584)
	(= (slew_time Star3 Planet7) 0.8584)
	(= (slew_time Planet7 GroundStation4) 1.093)
	(= (slew_time GroundStation4 Planet7) 1.093)
	(= (slew_time Planet7 Phenomenon5) 12.9)
	(= (slew_time Phenomenon5 Planet7) 12.9)
	(= (slew_time Planet7 Planet6) 10.43)
	(= (slew_time Planet6 Planet7) 10.43)
	(= (slew_time Planet8 GroundStation0) 32.39)
	(= (slew_time GroundStation0 Planet8) 32.39)
	(= (slew_time Planet8 GroundStation1) 28.19)
	(= (slew_time GroundStation1 Planet8) 28.19)
	(= (slew_time Planet8 Star2) 9.844)
	(= (slew_time Star2 Planet8) 9.844)
	(= (slew_time Planet8 Star3) 64.28)
	(= (slew_time Star3 Planet8) 64.28)
	(= (slew_time Planet8 GroundStation4) 1.129)
	(= (slew_time GroundStation4 Planet8) 1.129)
	(= (slew_time Planet8 Phenomenon5) 35.19)
	(= (slew_time Phenomenon5 Planet8) 35.19)
	(= (slew_time Planet8 Planet6) 8.617)
	(= (slew_time Planet6 Planet8) 8.617)
	(= (slew_time Planet8 Planet7) 68.86)
	(= (slew_time Planet7 Planet8) 68.86)
	(= (slew_time Phenomenon9 GroundStation0) 6.693)
	(= (slew_time GroundStation0 Phenomenon9) 6.693)
	(= (slew_time Phenomenon9 GroundStation1) 53.75)
	(= (slew_time GroundStation1 Phenomenon9) 53.75)
	(= (slew_time Phenomenon9 Star2) 23.65)
	(= (slew_time Star2 Phenomenon9) 23.65)
	(= (slew_time Phenomenon9 Star3) 9.895)
	(= (slew_time Star3 Phenomenon9) 9.895)
	(= (slew_time Phenomenon9 GroundStation4) 20.22)
	(= (slew_time GroundStation4 Phenomenon9) 20.22)
	(= (slew_time Phenomenon9 Phenomenon5) 75.17)
	(= (slew_time Phenomenon5 Phenomenon9) 75.17)
	(= (slew_time Phenomenon9 Planet6) 2.659)
	(= (slew_time Planet6 Phenomenon9) 2.659)
	(= (slew_time Phenomenon9 Planet7) 2.091)
	(= (slew_time Planet7 Phenomenon9) 2.091)
	(= (slew_time Phenomenon9 Planet8) 51.89)
	(= (slew_time Planet8 Phenomenon9) 51.89)
	(= (slew_time Planet10 GroundStation0) 57.69)
	(= (slew_time GroundStation0 Planet10) 57.69)
	(= (slew_time Planet10 GroundStation1) 49.78)
	(= (slew_time GroundStation1 Planet10) 49.78)
	(= (slew_time Planet10 Star2) 28.8)
	(= (slew_time Star2 Planet10) 28.8)
	(= (slew_time Planet10 Star3) 8.622)
	(= (slew_time Star3 Planet10) 8.622)
	(= (slew_time Planet10 GroundStation4) 20.41)
	(= (slew_time GroundStation4 Planet10) 20.41)
	(= (slew_time Planet10 Phenomenon5) 41.39)
	(= (slew_time Phenomenon5 Planet10) 41.39)
	(= (slew_time Planet10 Planet6) 22.75)
	(= (slew_time Planet6 Planet10) 22.75)
	(= (slew_time Planet10 Planet7) 39.09)
	(= (slew_time Planet7 Planet10) 39.09)
	(= (slew_time Planet10 Planet8) 10.99)
	(= (slew_time Planet8 Planet10) 10.99)
	(= (slew_time Planet10 Phenomenon9) 74.2)
	(= (slew_time Phenomenon9 Planet10) 74.2)
	(= (slew_time Planet11 GroundStation0) 2.06)
	(= (slew_time GroundStation0 Planet11) 2.06)
	(= (slew_time Planet11 GroundStation1) 5.673)
	(= (slew_time GroundStation1 Planet11) 5.673)
	(= (slew_time Planet11 Star2) 53.95)
	(= (slew_time Star2 Planet11) 53.95)
	(= (slew_time Planet11 Star3) 47.04)
	(= (slew_time Star3 Planet11) 47.04)
	(= (slew_time Planet11 GroundStation4) 30.83)
	(= (slew_time GroundStation4 Planet11) 30.83)
	(= (slew_time Planet11 Phenomenon5) 81.57)
	(= (slew_time Phenomenon5 Planet11) 81.57)
	(= (slew_time Planet11 Planet6) 45.64)
	(= (slew_time Planet6 Planet11) 45.64)
	(= (slew_time Planet11 Planet7) 3.453)
	(= (slew_time Planet7 Planet11) 3.453)
	(= (slew_time Planet11 Planet8) 34.93)
	(= (slew_time Planet8 Planet11) 34.93)
	(= (slew_time Planet11 Phenomenon9) 64.97)
	(= (slew_time Phenomenon9 Planet11) 64.97)
	(= (slew_time Planet11 Planet10) 46.06)
	(= (slew_time Planet10 Planet11) 46.06)
	(= (slew_time Star12 GroundStation0) 31.92)
	(= (slew_time GroundStation0 Star12) 31.92)
	(= (slew_time Star12 GroundStation1) 19.55)
	(= (slew_time GroundStation1 Star12) 19.55)
	(= (slew_time Star12 Star2) 8.339)
	(= (slew_time Star2 Star12) 8.339)
	(= (slew_time Star12 Star3) 54.79)
	(= (slew_time Star3 Star12) 54.79)
	(= (slew_time Star12 GroundStation4) 49.27)
	(= (slew_time GroundStation4 Star12) 49.27)
	(= (slew_time Star12 Phenomenon5) 8.099)
	(= (slew_time Phenomenon5 Star12) 8.099)
	(= (slew_time Star12 Planet6) 4.907)
	(= (slew_time Planet6 Star12) 4.907)
	(= (slew_time Star12 Planet7) 21.08)
	(= (slew_time Planet7 Star12) 21.08)
	(= (slew_time Star12 Planet8) 22.66)
	(= (slew_time Planet8 Star12) 22.66)
	(= (slew_time Star12 Phenomenon9) 85.96)
	(= (slew_time Phenomenon9 Star12) 85.96)
	(= (slew_time Star12 Planet10) 87.39)
	(= (slew_time Planet10 Star12) 87.39)
	(= (slew_time Star12 Planet11) 77.11)
	(= (slew_time Planet11 Star12) 77.11)
	(= (slew_time Star13 GroundStation0) 11.47)
	(= (slew_time GroundStation0 Star13) 11.47)
	(= (slew_time Star13 GroundStation1) 12.22)
	(= (slew_time GroundStation1 Star13) 12.22)
	(= (slew_time Star13 Star2) 42.57)
	(= (slew_time Star2 Star13) 42.57)
	(= (slew_time Star13 Star3) 17.9)
	(= (slew_time Star3 Star13) 17.9)
	(= (slew_time Star13 GroundStation4) 14.45)
	(= (slew_time GroundStation4 Star13) 14.45)
	(= (slew_time Star13 Phenomenon5) 12.88)
	(= (slew_time Phenomenon5 Star13) 12.88)
	(= (slew_time Star13 Planet6) 27.72)
	(= (slew_time Planet6 Star13) 27.72)
	(= (slew_time Star13 Planet7) 24.85)
	(= (slew_time Planet7 Star13) 24.85)
	(= (slew_time Star13 Planet8) 49.77)
	(= (slew_time Planet8 Star13) 49.77)
	(= (slew_time Star13 Phenomenon9) 43.55)
	(= (slew_time Phenomenon9 Star13) 43.55)
	(= (slew_time Star13 Planet10) 31.48)
	(= (slew_time Planet10 Star13) 31.48)
	(= (slew_time Star13 Planet11) 49.56)
	(= (slew_time Planet11 Star13) 49.56)
	(= (slew_time Star13 Star12) 25.8)
	(= (slew_time Star12 Star13) 25.8)
	(= (slew_time Star14 GroundStation0) 15.42)
	(= (slew_time GroundStation0 Star14) 15.42)
	(= (slew_time Star14 GroundStation1) 48.69)
	(= (slew_time GroundStation1 Star14) 48.69)
	(= (slew_time Star14 Star2) 20.5)
	(= (slew_time Star2 Star14) 20.5)
	(= (slew_time Star14 Star3) 36.28)
	(= (slew_time Star3 Star14) 36.28)
	(= (slew_time Star14 GroundStation4) 14.34)
	(= (slew_time GroundStation4 Star14) 14.34)
	(= (slew_time Star14 Phenomenon5) 52.47)
	(= (slew_time Phenomenon5 Star14) 52.47)
	(= (slew_time Star14 Planet6) 49.86)
	(= (slew_time Planet6 Star14) 49.86)
	(= (slew_time Star14 Planet7) 11.17)
	(= (slew_time Planet7 Star14) 11.17)
	(= (slew_time Star14 Planet8) 12.4)
	(= (slew_time Planet8 Star14) 12.4)
	(= (slew_time Star14 Phenomenon9) 44.68)
	(= (slew_time Phenomenon9 Star14) 44.68)
	(= (slew_time Star14 Planet10) 35.16)
	(= (slew_time Planet10 Star14) 35.16)
	(= (slew_time Star14 Planet11) 29.62)
	(= (slew_time Planet11 Star14) 29.62)
	(= (slew_time Star14 Star12) 22.98)
	(= (slew_time Star12 Star14) 22.98)
	(= (slew_time Star14 Star13) 3.52)
	(= (slew_time Star13 Star14) 3.52)
	(= (slew_time Star15 GroundStation0) 58.81)
	(= (slew_time GroundStation0 Star15) 58.81)
	(= (slew_time Star15 GroundStation1) 21.02)
	(= (slew_time GroundStation1 Star15) 21.02)
	(= (slew_time Star15 Star2) 16.23)
	(= (slew_time Star2 Star15) 16.23)
	(= (slew_time Star15 Star3) 8.758)
	(= (slew_time Star3 Star15) 8.758)
	(= (slew_time Star15 GroundStation4) 55.13)
	(= (slew_time GroundStation4 Star15) 55.13)
	(= (slew_time Star15 Phenomenon5) 27.49)
	(= (slew_time Phenomenon5 Star15) 27.49)
	(= (slew_time Star15 Planet6) 31.04)
	(= (slew_time Planet6 Star15) 31.04)
	(= (slew_time Star15 Planet7) 59.02)
	(= (slew_time Planet7 Star15) 59.02)
	(= (slew_time Star15 Planet8) 47.21)
	(= (slew_time Planet8 Star15) 47.21)
	(= (slew_time Star15 Phenomenon9) 3.352)
	(= (slew_time Phenomenon9 Star15) 3.352)
	(= (slew_time Star15 Planet10) 5.218)
	(= (slew_time Planet10 Star15) 5.218)
	(= (slew_time Star15 Planet11) 62.25)
	(= (slew_time Planet11 Star15) 62.25)
	(= (slew_time Star15 Star12) 4.432)
	(= (slew_time Star12 Star15) 4.432)
	(= (slew_time Star15 Star13) 25.13)
	(= (slew_time Star13 Star15) 25.13)
	(= (slew_time Star15 Star14) 16.08)
	(= (slew_time Star14 Star15) 16.08)
	(= (slew_time Star16 GroundStation0) 18.19)
	(= (slew_time GroundStation0 Star16) 18.19)
	(= (slew_time Star16 GroundStation1) 24.17)
	(= (slew_time GroundStation1 Star16) 24.17)
	(= (slew_time Star16 Star2) 7.024)
	(= (slew_time Star2 Star16) 7.024)
	(= (slew_time Star16 Star3) 28.61)
	(= (slew_time Star3 Star16) 28.61)
	(= (slew_time Star16 GroundStation4) 40.63)
	(= (slew_time GroundStation4 Star16) 40.63)
	(= (slew_time Star16 Phenomenon5) 9.248)
	(= (slew_time Phenomenon5 Star16) 9.248)
	(= (slew_time Star16 Planet6) 42.56)
	(= (slew_time Planet6 Star16) 42.56)
	(= (slew_time Star16 Planet7) 0.1413)
	(= (slew_time Planet7 Star16) 0.1413)
	(= (slew_time Star16 Planet8) 16.32)
	(= (slew_time Planet8 Star16) 16.32)
	(= (slew_time Star16 Phenomenon9) 14.11)
	(= (slew_time Phenomenon9 Star16) 14.11)
	(= (slew_time Star16 Planet10) 54.56)
	(= (slew_time Planet10 Star16) 54.56)
	(= (slew_time Star16 Planet11) 71.52)
	(= (slew_time Planet11 Star16) 71.52)
	(= (slew_time Star16 Star12) 27.22)
	(= (slew_time Star12 Star16) 27.22)
	(= (slew_time Star16 Star13) 10.22)
	(= (slew_time Star13 Star16) 10.22)
	(= (slew_time Star16 Star14) 11.69)
	(= (slew_time Star14 Star16) 11.69)
	(= (slew_time Star16 Star15) 16.01)
	(= (slew_time Star15 Star16) 16.01)
	(= (slew_time Phenomenon17 GroundStation0) 61.01)
	(= (slew_time GroundStation0 Phenomenon17) 61.01)
	(= (slew_time Phenomenon17 GroundStation1) 10.36)
	(= (slew_time GroundStation1 Phenomenon17) 10.36)
	(= (slew_time Phenomenon17 Star2) 44.17)
	(= (slew_time Star2 Phenomenon17) 44.17)
	(= (slew_time Phenomenon17 Star3) 76.06)
	(= (slew_time Star3 Phenomenon17) 76.06)
	(= (slew_time Phenomenon17 GroundStation4) 36.29)
	(= (slew_time GroundStation4 Phenomenon17) 36.29)
	(= (slew_time Phenomenon17 Phenomenon5) 48.86)
	(= (slew_time Phenomenon5 Phenomenon17) 48.86)
	(= (slew_time Phenomenon17 Planet6) 5.161)
	(= (slew_time Planet6 Phenomenon17) 5.161)
	(= (slew_time Phenomenon17 Planet7) 6.539)
	(= (slew_time Planet7 Phenomenon17) 6.539)
	(= (slew_time Phenomenon17 Planet8) 29.08)
	(= (slew_time Planet8 Phenomenon17) 29.08)
	(= (slew_time Phenomenon17 Phenomenon9) 18.71)
	(= (slew_time Phenomenon9 Phenomenon17) 18.71)
	(= (slew_time Phenomenon17 Planet10) 13.11)
	(= (slew_time Planet10 Phenomenon17) 13.11)
	(= (slew_time Phenomenon17 Planet11) 53.39)
	(= (slew_time Planet11 Phenomenon17) 53.39)
	(= (slew_time Phenomenon17 Star12) 55.92)
	(= (slew_time Star12 Phenomenon17) 55.92)
	(= (slew_time Phenomenon17 Star13) 26.17)
	(= (slew_time Star13 Phenomenon17) 26.17)
	(= (slew_time Phenomenon17 Star14) 0.2749)
	(= (slew_time Star14 Phenomenon17) 0.2749)
	(= (slew_time Phenomenon17 Star15) 12.73)
	(= (slew_time Star15 Phenomenon17) 12.73)
	(= (slew_time Phenomenon17 Star16) 23.99)
	(= (slew_time Star16 Phenomenon17) 23.99)
	(= (slew_time Phenomenon18 GroundStation0) 6.77)
	(= (slew_time GroundStation0 Phenomenon18) 6.77)
	(= (slew_time Phenomenon18 GroundStation1) 70.64)
	(= (slew_time GroundStation1 Phenomenon18) 70.64)
	(= (slew_time Phenomenon18 Star2) 6.629)
	(= (slew_time Star2 Phenomenon18) 6.629)
	(= (slew_time Phenomenon18 Star3) 55.89)
	(= (slew_time Star3 Phenomenon18) 55.89)
	(= (slew_time Phenomenon18 GroundStation4) 12.87)
	(= (slew_time GroundStation4 Phenomenon18) 12.87)
	(= (slew_time Phenomenon18 Phenomenon5) 24.01)
	(= (slew_time Phenomenon5 Phenomenon18) 24.01)
	(= (slew_time Phenomenon18 Planet6) 25.19)
	(= (slew_time Planet6 Phenomenon18) 25.19)
	(= (slew_time Phenomenon18 Planet7) 11.97)
	(= (slew_time Planet7 Phenomenon18) 11.97)
	(= (slew_time Phenomenon18 Planet8) 53.2)
	(= (slew_time Planet8 Phenomenon18) 53.2)
	(= (slew_time Phenomenon18 Phenomenon9) 53.19)
	(= (slew_time Phenomenon9 Phenomenon18) 53.19)
	(= (slew_time Phenomenon18 Planet10) 8.02)
	(= (slew_time Planet10 Phenomenon18) 8.02)
	(= (slew_time Phenomenon18 Planet11) 14.93)
	(= (slew_time Planet11 Phenomenon18) 14.93)
	(= (slew_time Phenomenon18 Star12) 8.342)
	(= (slew_time Star12 Phenomenon18) 8.342)
	(= (slew_time Phenomenon18 Star13) 34)
	(= (slew_time Star13 Phenomenon18) 34)
	(= (slew_time Phenomenon18 Star14) 58.53)
	(= (slew_time Star14 Phenomenon18) 58.53)
	(= (slew_time Phenomenon18 Star15) 20.24)
	(= (slew_time Star15 Phenomenon18) 20.24)
	(= (slew_time Phenomenon18 Star16) 23.29)
	(= (slew_time Star16 Phenomenon18) 23.29)
	(= (slew_time Phenomenon18 Phenomenon17) 14.58)
	(= (slew_time Phenomenon17 Phenomenon18) 14.58)
	(= (slew_time Planet19 GroundStation0) 60.8)
	(= (slew_time GroundStation0 Planet19) 60.8)
	(= (slew_time Planet19 GroundStation1) 8.574)
	(= (slew_time GroundStation1 Planet19) 8.574)
	(= (slew_time Planet19 Star2) 46.05)
	(= (slew_time Star2 Planet19) 46.05)
	(= (slew_time Planet19 Star3) 0.8293)
	(= (slew_time Star3 Planet19) 0.8293)
	(= (slew_time Planet19 GroundStation4) 20.3)
	(= (slew_time GroundStation4 Planet19) 20.3)
	(= (slew_time Planet19 Phenomenon5) 9.963)
	(= (slew_time Phenomenon5 Planet19) 9.963)
	(= (slew_time Planet19 Planet6) 6.684)
	(= (slew_time Planet6 Planet19) 6.684)
	(= (slew_time Planet19 Planet7) 1.631)
	(= (slew_time Planet7 Planet19) 1.631)
	(= (slew_time Planet19 Planet8) 27.61)
	(= (slew_time Planet8 Planet19) 27.61)
	(= (slew_time Planet19 Phenomenon9) 24.39)
	(= (slew_time Phenomenon9 Planet19) 24.39)
	(= (slew_time Planet19 Planet10) 35.29)
	(= (slew_time Planet10 Planet19) 35.29)
	(= (slew_time Planet19 Planet11) 72.94)
	(= (slew_time Planet11 Planet19) 72.94)
	(= (slew_time Planet19 Star12) 31.54)
	(= (slew_time Star12 Planet19) 31.54)
	(= (slew_time Planet19 Star13) 0.9877)
	(= (slew_time Star13 Planet19) 0.9877)
	(= (slew_time Planet19 Star14) 84.78)
	(= (slew_time Star14 Planet19) 84.78)
	(= (slew_time Planet19 Star15) 8.565)
	(= (slew_time Star15 Planet19) 8.565)
	(= (slew_time Planet19 Star16) 46.25)
	(= (slew_time Star16 Planet19) 46.25)
	(= (slew_time Planet19 Phenomenon17) 38.39)
	(= (slew_time Phenomenon17 Planet19) 38.39)
	(= (slew_time Planet19 Phenomenon18) 11.78)
	(= (slew_time Phenomenon18 Planet19) 11.78)
	(= (slew_time Star20 GroundStation0) 61.13)
	(= (slew_time GroundStation0 Star20) 61.13)
	(= (slew_time Star20 GroundStation1) 58.66)
	(= (slew_time GroundStation1 Star20) 58.66)
	(= (slew_time Star20 Star2) 44.53)
	(= (slew_time Star2 Star20) 44.53)
	(= (slew_time Star20 Star3) 43.15)
	(= (slew_time Star3 Star20) 43.15)
	(= (slew_time Star20 GroundStation4) 34.85)
	(= (slew_time GroundStation4 Star20) 34.85)
	(= (slew_time Star20 Phenomenon5) 68.92)
	(= (slew_time Phenomenon5 Star20) 68.92)
	(= (slew_time Star20 Planet6) 77.59)
	(= (slew_time Planet6 Star20) 77.59)
	(= (slew_time Star20 Planet7) 20.51)
	(= (slew_time Planet7 Star20) 20.51)
	(= (slew_time Star20 Planet8) 68.55)
	(= (slew_time Planet8 Star20) 68.55)
	(= (slew_time Star20 Phenomenon9) 38.45)
	(= (slew_time Phenomenon9 Star20) 38.45)
	(= (slew_time Star20 Planet10) 49.42)
	(= (slew_time Planet10 Star20) 49.42)
	(= (slew_time Star20 Planet11) 45.23)
	(= (slew_time Planet11 Star20) 45.23)
	(= (slew_time Star20 Star12) 80.67)
	(= (slew_time Star12 Star20) 80.67)
	(= (slew_time Star20 Star13) 27.78)
	(= (slew_time Star13 Star20) 27.78)
	(= (slew_time Star20 Star14) 30.08)
	(= (slew_time Star14 Star20) 30.08)
	(= (slew_time Star20 Star15) 1.527)
	(= (slew_time Star15 Star20) 1.527)
	(= (slew_time Star20 Star16) 18.27)
	(= (slew_time Star16 Star20) 18.27)
	(= (slew_time Star20 Phenomenon17) 24.88)
	(= (slew_time Phenomenon17 Star20) 24.88)
	(= (slew_time Star20 Phenomenon18) 73.43)
	(= (slew_time Phenomenon18 Star20) 73.43)
	(= (slew_time Star20 Planet19) 5.815)
	(= (slew_time Planet19 Star20) 5.815)
	(= (slew_time Planet21 GroundStation0) 12.93)
	(= (slew_time GroundStation0 Planet21) 12.93)
	(= (slew_time Planet21 GroundStation1) 41.91)
	(= (slew_time GroundStation1 Planet21) 41.91)
	(= (slew_time Planet21 Star2) 30.42)
	(= (slew_time Star2 Planet21) 30.42)
	(= (slew_time Planet21 Star3) 31.49)
	(= (slew_time Star3 Planet21) 31.49)
	(= (slew_time Planet21 GroundStation4) 28.78)
	(= (slew_time GroundStation4 Planet21) 28.78)
	(= (slew_time Planet21 Phenomenon5) 1.845)
	(= (slew_time Phenomenon5 Planet21) 1.845)
	(= (slew_time Planet21 Planet6) 62.71)
	(= (slew_time Planet6 Planet21) 62.71)
	(= (slew_time Planet21 Planet7) 45.14)
	(= (slew_time Planet7 Planet21) 45.14)
	(= (slew_time Planet21 Planet8) 31.83)
	(= (slew_time Planet8 Planet21) 31.83)
	(= (slew_time Planet21 Phenomenon9) 24.05)
	(= (slew_time Phenomenon9 Planet21) 24.05)
	(= (slew_time Planet21 Planet10) 75.3)
	(= (slew_time Planet10 Planet21) 75.3)
	(= (slew_time Planet21 Planet11) 75.1)
	(= (slew_time Planet11 Planet21) 75.1)
	(= (slew_time Planet21 Star12) 65.04)
	(= (slew_time Star12 Planet21) 65.04)
	(= (slew_time Planet21 Star13) 23.81)
	(= (slew_time Star13 Planet21) 23.81)
	(= (slew_time Planet21 Star14) 47.22)
	(= (slew_time Star14 Planet21) 47.22)
	(= (slew_time Planet21 Star15) 44.74)
	(= (slew_time Star15 Planet21) 44.74)
	(= (slew_time Planet21 Star16) 7.438)
	(= (slew_time Star16 Planet21) 7.438)
	(= (slew_time Planet21 Phenomenon17) 27.69)
	(= (slew_time Phenomenon17 Planet21) 27.69)
	(= (slew_time Planet21 Phenomenon18) 1.824)
	(= (slew_time Phenomenon18 Planet21) 1.824)
	(= (slew_time Planet21 Planet19) 9.625)
	(= (slew_time Planet19 Planet21) 9.625)
	(= (slew_time Planet21 Star20) 31.96)
	(= (slew_time Star20 Planet21) 31.96)
	(= (slew_time Planet22 GroundStation0) 42.54)
	(= (slew_time GroundStation0 Planet22) 42.54)
	(= (slew_time Planet22 GroundStation1) 2.281)
	(= (slew_time GroundStation1 Planet22) 2.281)
	(= (slew_time Planet22 Star2) 11.22)
	(= (slew_time Star2 Planet22) 11.22)
	(= (slew_time Planet22 Star3) 19.67)
	(= (slew_time Star3 Planet22) 19.67)
	(= (slew_time Planet22 GroundStation4) 22.25)
	(= (slew_time GroundStation4 Planet22) 22.25)
	(= (slew_time Planet22 Phenomenon5) 30.42)
	(= (slew_time Phenomenon5 Planet22) 30.42)
	(= (slew_time Planet22 Planet6) 10.01)
	(= (slew_time Planet6 Planet22) 10.01)
	(= (slew_time Planet22 Planet7) 45.28)
	(= (slew_time Planet7 Planet22) 45.28)
	(= (slew_time Planet22 Planet8) 25.77)
	(= (slew_time Planet8 Planet22) 25.77)
	(= (slew_time Planet22 Phenomenon9) 42.5)
	(= (slew_time Phenomenon9 Planet22) 42.5)
	(= (slew_time Planet22 Planet10) 26.56)
	(= (slew_time Planet10 Planet22) 26.56)
	(= (slew_time Planet22 Planet11) 6.551)
	(= (slew_time Planet11 Planet22) 6.551)
	(= (slew_time Planet22 Star12) 26.51)
	(= (slew_time Star12 Planet22) 26.51)
	(= (slew_time Planet22 Star13) 9.433)
	(= (slew_time Star13 Planet22) 9.433)
	(= (slew_time Planet22 Star14) 23.36)
	(= (slew_time Star14 Planet22) 23.36)
	(= (slew_time Planet22 Star15) 19)
	(= (slew_time Star15 Planet22) 19)
	(= (slew_time Planet22 Star16) 23.51)
	(= (slew_time Star16 Planet22) 23.51)
	(= (slew_time Planet22 Phenomenon17) 70.04)
	(= (slew_time Phenomenon17 Planet22) 70.04)
	(= (slew_time Planet22 Phenomenon18) 58.31)
	(= (slew_time Phenomenon18 Planet22) 58.31)
	(= (slew_time Planet22 Planet19) 37.13)
	(= (slew_time Planet19 Planet22) 37.13)
	(= (slew_time Planet22 Star20) 47.06)
	(= (slew_time Star20 Planet22) 47.06)
	(= (slew_time Planet22 Planet21) 62.96)
	(= (slew_time Planet21 Planet22) 62.96)
	(= (slew_time Phenomenon23 GroundStation0) 5.919)
	(= (slew_time GroundStation0 Phenomenon23) 5.919)
	(= (slew_time Phenomenon23 GroundStation1) 10.77)
	(= (slew_time GroundStation1 Phenomenon23) 10.77)
	(= (slew_time Phenomenon23 Star2) 50.63)
	(= (slew_time Star2 Phenomenon23) 50.63)
	(= (slew_time Phenomenon23 Star3) 34.8)
	(= (slew_time Star3 Phenomenon23) 34.8)
	(= (slew_time Phenomenon23 GroundStation4) 24.06)
	(= (slew_time GroundStation4 Phenomenon23) 24.06)
	(= (slew_time Phenomenon23 Phenomenon5) 26.09)
	(= (slew_time Phenomenon5 Phenomenon23) 26.09)
	(= (slew_time Phenomenon23 Planet6) 29.26)
	(= (slew_time Planet6 Phenomenon23) 29.26)
	(= (slew_time Phenomenon23 Planet7) 34.34)
	(= (slew_time Planet7 Phenomenon23) 34.34)
	(= (slew_time Phenomenon23 Planet8) 23.33)
	(= (slew_time Planet8 Phenomenon23) 23.33)
	(= (slew_time Phenomenon23 Phenomenon9) 74.05)
	(= (slew_time Phenomenon9 Phenomenon23) 74.05)
	(= (slew_time Phenomenon23 Planet10) 9.181)
	(= (slew_time Planet10 Phenomenon23) 9.181)
	(= (slew_time Phenomenon23 Planet11) 9.158)
	(= (slew_time Planet11 Phenomenon23) 9.158)
	(= (slew_time Phenomenon23 Star12) 47.82)
	(= (slew_time Star12 Phenomenon23) 47.82)
	(= (slew_time Phenomenon23 Star13) 3.06)
	(= (slew_time Star13 Phenomenon23) 3.06)
	(= (slew_time Phenomenon23 Star14) 36.86)
	(= (slew_time Star14 Phenomenon23) 36.86)
	(= (slew_time Phenomenon23 Star15) 46.59)
	(= (slew_time Star15 Phenomenon23) 46.59)
	(= (slew_time Phenomenon23 Star16) 65.88)
	(= (slew_time Star16 Phenomenon23) 65.88)
	(= (slew_time Phenomenon23 Phenomenon17) 45.79)
	(= (slew_time Phenomenon17 Phenomenon23) 45.79)
	(= (slew_time Phenomenon23 Phenomenon18) 21.12)
	(= (slew_time Phenomenon18 Phenomenon23) 21.12)
	(= (slew_time Phenomenon23 Planet19) 33.1)
	(= (slew_time Planet19 Phenomenon23) 33.1)
	(= (slew_time Phenomenon23 Star20) 10.29)
	(= (slew_time Star20 Phenomenon23) 10.29)
	(= (slew_time Phenomenon23 Planet21) 10.29)
	(= (slew_time Planet21 Phenomenon23) 10.29)
	(= (slew_time Phenomenon23 Planet22) 27.01)
	(= (slew_time Planet22 Phenomenon23) 27.01)
	(= (slew_time Star24 GroundStation0) 40.43)
	(= (slew_time GroundStation0 Star24) 40.43)
	(= (slew_time Star24 GroundStation1) 38.74)
	(= (slew_time GroundStation1 Star24) 38.74)
	(= (slew_time Star24 Star2) 15.2)
	(= (slew_time Star2 Star24) 15.2)
	(= (slew_time Star24 Star3) 9.974)
	(= (slew_time Star3 Star24) 9.974)
	(= (slew_time Star24 GroundStation4) 32.95)
	(= (slew_time GroundStation4 Star24) 32.95)
	(= (slew_time Star24 Phenomenon5) 18.21)
	(= (slew_time Phenomenon5 Star24) 18.21)
	(= (slew_time Star24 Planet6) 4.726)
	(= (slew_time Planet6 Star24) 4.726)
	(= (slew_time Star24 Planet7) 16.36)
	(= (slew_time Planet7 Star24) 16.36)
	(= (slew_time Star24 Planet8) 39.49)
	(= (slew_time Planet8 Star24) 39.49)
	(= (slew_time Star24 Phenomenon9) 17.95)
	(= (slew_time Phenomenon9 Star24) 17.95)
	(= (slew_time Star24 Planet10) 15.81)
	(= (slew_time Planet10 Star24) 15.81)
	(= (slew_time Star24 Planet11) 2.528)
	(= (slew_time Planet11 Star24) 2.528)
	(= (slew_time Star24 Star12) 16.06)
	(= (slew_time Star12 Star24) 16.06)
	(= (slew_time Star24 Star13) 14.91)
	(= (slew_time Star13 Star24) 14.91)
	(= (slew_time Star24 Star14) 49.24)
	(= (slew_time Star14 Star24) 49.24)
	(= (slew_time Star24 Star15) 5.603)
	(= (slew_time Star15 Star24) 5.603)
	(= (slew_time Star24 Star16) 43.5)
	(= (slew_time Star16 Star24) 43.5)
	(= (slew_time Star24 Phenomenon17) 52.25)
	(= (slew_time Phenomenon17 Star24) 52.25)
	(= (slew_time Star24 Phenomenon18) 33.95)
	(= (slew_time Phenomenon18 Star24) 33.95)
	(= (slew_time Star24 Planet19) 44.12)
	(= (slew_time Planet19 Star24) 44.12)
	(= (slew_time Star24 Star20) 68.12)
	(= (slew_time Star20 Star24) 68.12)
	(= (slew_time Star24 Planet21) 16.36)
	(= (slew_time Planet21 Star24) 16.36)
	(= (slew_time Star24 Planet22) 8.464)
	(= (slew_time Planet22 Star24) 8.464)
	(= (slew_time Star24 Phenomenon23) 19.49)
	(= (slew_time Phenomenon23 Star24) 19.49)
)
(:goal (and
	(pointing satellite5 Planet6)
	(pointing satellite7 Star3)
	(pointing satellite8 Star15)
	(pointing satellite9 Star16)
	(have_image Phenomenon5 thermograph1)
	(have_image Planet6 infrared4)
	(have_image Planet7 image0)
	(have_image Planet8 thermograph1)
	(have_image Phenomenon9 image2)
	(have_image Planet10 image0)
	(have_image Planet11 infrared4)
	(have_image Star12 image0)
	(have_image Star13 image0)
	(have_image Star14 thermograph1)
	(have_image Star15 image0)
	(have_image Star16 thermograph1)
	(have_image Phenomenon17 infrared4)
	(have_image Phenomenon18 spectrograph3)
	(have_image Star20 image0)
	(have_image Planet21 thermograph1)
	(have_image Planet22 image2)
	(have_image Phenomenon23 image0)
	(have_image Star24 infrared4)
))
(:metric minimize (total-time))

)