(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	satellite1 - satellite
	instrument2 - instrument
	instrument3 - instrument
	satellite2 - satellite
	instrument4 - instrument
	instrument5 - instrument
	satellite3 - satellite
	instrument6 - instrument
	satellite4 - satellite
	instrument7 - instrument
	instrument8 - instrument
	instrument9 - instrument
	satellite5 - satellite
	instrument10 - instrument
	instrument11 - instrument
	instrument12 - instrument
	satellite6 - satellite
	instrument13 - instrument
	instrument14 - instrument
	instrument15 - instrument
	satellite7 - satellite
	instrument16 - instrument
	instrument17 - instrument
	instrument18 - instrument
	image1 - mode
	infrared0 - mode
	thermograph3 - mode
	spectrograph2 - mode
	thermograph4 - mode
	Star3 - direction
	GroundStation0 - direction
	GroundStation2 - direction
	Star1 - direction
	Star4 - direction
	Phenomenon5 - direction
	Planet6 - direction
	Planet7 - direction
	Star8 - direction
	Phenomenon9 - direction
	Phenomenon10 - direction
	Planet11 - direction
	Star12 - direction
	Star13 - direction
	Planet14 - direction
	Star15 - direction
	Phenomenon16 - direction
	Planet17 - direction
	Star18 - direction
	Star19 - direction
	Planet20 - direction
	Planet21 - direction
	Planet22 - direction
	Planet23 - direction
	Planet24 - direction
)
(:init
	(supports instrument0 thermograph4)
	(supports instrument0 image1)
	(calibration_target instrument0 GroundStation0)
	(= (calibration_time instrument0 GroundStation0) 7.61)
	(supports instrument1 spectrograph2)
	(supports instrument1 thermograph3)
	(calibration_target instrument1 Star3)
	(= (calibration_time instrument1 Star3) 68.7)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star19)
	(supports instrument2 spectrograph2)
	(calibration_target instrument2 Star4)
	(= (calibration_time instrument2 Star4) 35.2)
	(supports instrument3 image1)
	(supports instrument3 spectrograph2)
	(calibration_target instrument3 GroundStation2)
	(= (calibration_time instrument3 GroundStation2) 94.8)
	(on_board instrument2 satellite1)
	(on_board instrument3 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star18)
	(supports instrument4 thermograph3)
	(supports instrument4 thermograph4)
	(supports instrument4 spectrograph2)
	(calibration_target instrument4 Star1)
	(= (calibration_time instrument4 Star1) 39.7)
	(supports instrument5 thermograph3)
	(supports instrument5 image1)
	(supports instrument5 infrared0)
	(calibration_target instrument5 GroundStation2)
	(= (calibration_time instrument5 GroundStation2) 11.4)
	(on_board instrument4 satellite2)
	(on_board instrument5 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star19)
	(supports instrument6 spectrograph2)
	(supports instrument6 infrared0)
	(calibration_target instrument6 GroundStation2)
	(= (calibration_time instrument6 GroundStation2) 60.4)
	(on_board instrument6 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star4)
	(supports instrument7 thermograph3)
	(supports instrument7 spectrograph2)
	(calibration_target instrument7 Star3)
	(= (calibration_time instrument7 Star3) 92.9)
	(supports instrument8 image1)
	(calibration_target instrument8 GroundStation2)
	(= (calibration_time instrument8 GroundStation2) 34.9)
	(supports instrument9 infrared0)
	(calibration_target instrument9 Star3)
	(= (calibration_time instrument9 Star3) 40.6)
	(on_board instrument7 satellite4)
	(on_board instrument8 satellite4)
	(on_board instrument9 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon9)
	(supports instrument10 thermograph4)
	(supports instrument10 spectrograph2)
	(supports instrument10 infrared0)
	(calibration_target instrument10 GroundStation0)
	(= (calibration_time instrument10 GroundStation0) 34.9)
	(supports instrument11 infrared0)
	(calibration_target instrument11 GroundStation0)
	(= (calibration_time instrument11 GroundStation0) 33.5)
	(supports instrument12 infrared0)
	(calibration_target instrument12 Star1)
	(= (calibration_time instrument12 Star1) 5.58)
	(on_board instrument10 satellite5)
	(on_board instrument11 satellite5)
	(on_board instrument12 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet6)
	(supports instrument13 thermograph3)
	(supports instrument13 infrared0)
	(calibration_target instrument13 Star3)
	(= (calibration_time instrument13 Star3) 100)
	(supports instrument14 spectrograph2)
	(calibration_target instrument14 GroundStation2)
	(= (calibration_time instrument14 GroundStation2) 30.7)
	(supports instrument15 thermograph4)
	(calibration_target instrument15 GroundStation0)
	(= (calibration_time instrument15 GroundStation0) 83.1)
	(on_board instrument13 satellite6)
	(on_board instrument14 satellite6)
	(on_board instrument15 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Planet17)
	(supports instrument16 thermograph4)
	(calibration_target instrument16 GroundStation2)
	(= (calibration_time instrument16 GroundStation2) 36.7)
	(supports instrument17 spectrograph2)
	(calibration_target instrument17 Star1)
	(= (calibration_time instrument17 Star1) 85.2)
	(supports instrument18 thermograph4)
	(calibration_target instrument18 Star4)
	(= (calibration_time instrument18 Star4) 93.5)
	(on_board instrument16 satellite7)
	(on_board instrument17 satellite7)
	(on_board instrument18 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Planet11)
	(= (slew_time Star3 GroundStation0) 34.97)
	(= (slew_time GroundStation0 Star3) 34.97)
	(= (slew_time Star3 Star1) 11.55)
	(= (slew_time Star1 Star3) 11.55)
	(= (slew_time Star3 GroundStation2) 28.85)
	(= (slew_time GroundStation2 Star3) 28.85)
	(= (slew_time GroundStation2 GroundStation0) 12.95)
	(= (slew_time GroundStation0 GroundStation2) 12.95)
	(= (slew_time GroundStation2 Star1) 37.92)
	(= (slew_time Star1 GroundStation2) 37.92)
	(= (slew_time Star1 GroundStation0) 25.7)
	(= (slew_time GroundStation0 Star1) 25.7)
	(= (slew_time Star4 GroundStation0) 44.43)
	(= (slew_time GroundStation0 Star4) 44.43)
	(= (slew_time Star4 Star1) 24)
	(= (slew_time Star1 Star4) 24)
	(= (slew_time Star4 GroundStation2) 41.09)
	(= (slew_time GroundStation2 Star4) 41.09)
	(= (slew_time Star4 Star3) 37.87)
	(= (slew_time Star3 Star4) 37.87)
	(= (slew_time Phenomenon5 GroundStation0) 10.92)
	(= (slew_time GroundStation0 Phenomenon5) 10.92)
	(= (slew_time Phenomenon5 Star1) 41.22)
	(= (slew_time Star1 Phenomenon5) 41.22)
	(= (slew_time Phenomenon5 GroundStation2) 7.187)
	(= (slew_time GroundStation2 Phenomenon5) 7.187)
	(= (slew_time Phenomenon5 Star3) 79.82)
	(= (slew_time Star3 Phenomenon5) 79.82)
	(= (slew_time Phenomenon5 Star4) 56.63)
	(= (slew_time Star4 Phenomenon5) 56.63)
	(= (slew_time Planet6 GroundStation0) 44.01)
	(= (slew_time GroundStation0 Planet6) 44.01)
	(= (slew_time Planet6 Star1) 80.64)
	(= (slew_time Star1 Planet6) 80.64)
	(= (slew_time Planet6 GroundStation2) 23.38)
	(= (slew_time GroundStation2 Planet6) 23.38)
	(= (slew_time Planet6 Star3) 46.93)
	(= (slew_time Star3 Planet6) 46.93)
	(= (slew_time Planet6 Star4) 39.6)
	(= (slew_time Star4 Planet6) 39.6)
	(= (slew_time Planet6 Phenomenon5) 24.46)
	(= (slew_time Phenomenon5 Planet6) 24.46)
	(= (slew_time Planet7 GroundStation0) 22.8)
	(= (slew_time GroundStation0 Planet7) 22.8)
	(= (slew_time Planet7 Star1) 4.427)
	(= (slew_time Star1 Planet7) 4.427)
	(= (slew_time Planet7 GroundStation2) 7.319)
	(= (slew_time GroundStation2 Planet7) 7.319)
	(= (slew_time Planet7 Star3) 7.286)
	(= (slew_time Star3 Planet7) 7.286)
	(= (slew_time Planet7 Star4) 2.348)
	(= (slew_time Star4 Planet7) 2.348)
	(= (slew_time Planet7 Phenomenon5) 9.556)
	(= (slew_time Phenomenon5 Planet7) 9.556)
	(= (slew_time Planet7 Planet6) 61.76)
	(= (slew_time Planet6 Planet7) 61.76)
	(= (slew_time Star8 GroundStation0) 11.14)
	(= (slew_time GroundStation0 Star8) 11.14)
	(= (slew_time Star8 Star1) 51.04)
	(= (slew_time Star1 Star8) 51.04)
	(= (slew_time Star8 GroundStation2) 29.97)
	(= (slew_time GroundStation2 Star8) 29.97)
	(= (slew_time Star8 Star3) 15.7)
	(= (slew_time Star3 Star8) 15.7)
	(= (slew_time Star8 Star4) 40.2)
	(= (slew_time Star4 Star8) 40.2)
	(= (slew_time Star8 Phenomenon5) 23.59)
	(= (slew_time Phenomenon5 Star8) 23.59)
	(= (slew_time Star8 Planet6) 52.96)
	(= (slew_time Planet6 Star8) 52.96)
	(= (slew_time Star8 Planet7) 35.36)
	(= (slew_time Planet7 Star8) 35.36)
	(= (slew_time Phenomenon9 GroundStation0) 39.66)
	(= (slew_time GroundStation0 Phenomenon9) 39.66)
	(= (slew_time Phenomenon9 Star1) 28.2)
	(= (slew_time Star1 Phenomenon9) 28.2)
	(= (slew_time Phenomenon9 GroundStation2) 4.037)
	(= (slew_time GroundStation2 Phenomenon9) 4.037)
	(= (slew_time Phenomenon9 Star3) 16.71)
	(= (slew_time Star3 Phenomenon9) 16.71)
	(= (slew_time Phenomenon9 Star4) 8.094)
	(= (slew_time Star4 Phenomenon9) 8.094)
	(= (slew_time Phenomenon9 Phenomenon5) 43.54)
	(= (slew_time Phenomenon5 Phenomenon9) 43.54)
	(= (slew_time Phenomenon9 Planet6) 4.04)
	(= (slew_time Planet6 Phenomenon9) 4.04)
	(= (slew_time Phenomenon9 Planet7) 4.888)
	(= (slew_time Planet7 Phenomenon9) 4.888)
	(= (slew_time Phenomenon9 Star8) 86.29)
	(= (slew_time Star8 Phenomenon9) 86.29)
	(= (slew_time Phenomenon10 GroundStation0) 63.35)
	(= (slew_time GroundStation0 Phenomenon10) 63.35)
	(= (slew_time Phenomenon10 Star1) 23.37)
	(= (slew_time Star1 Phenomenon10) 23.37)
	(= (slew_time Phenomenon10 GroundStation2) 5.338)
	(= (slew_time GroundStation2 Phenomenon10) 5.338)
	(= (slew_time Phenomenon10 Star3) 78.89)
	(= (slew_time Star3 Phenomenon10) 78.89)
	(= (slew_time Phenomenon10 Star4) 20.11)
	(= (slew_time Star4 Phenomenon10) 20.11)
	(= (slew_time Phenomenon10 Phenomenon5) 39.22)
	(= (slew_time Phenomenon5 Phenomenon10) 39.22)
	(= (slew_time Phenomenon10 Planet6) 13.74)
	(= (slew_time Planet6 Phenomenon10) 13.74)
	(= (slew_time Phenomenon10 Planet7) 3.064)
	(= (slew_time Planet7 Phenomenon10) 3.064)
	(= (slew_time Phenomenon10 Star8) 37)
	(= (slew_time Star8 Phenomenon10) 37)
	(= (slew_time Phenomenon10 Phenomenon9) 63.76)
	(= (slew_time Phenomenon9 Phenomenon10) 63.76)
	(= (slew_time Planet11 GroundStation0) 44.31)
	(= (slew_time GroundStation0 Planet11) 44.31)
	(= (slew_time Planet11 Star1) 9.961)
	(= (slew_time Star1 Planet11) 9.961)
	(= (slew_time Planet11 GroundStation2) 38.66)
	(= (slew_time GroundStation2 Planet11) 38.66)
	(= (slew_time Planet11 Star3) 26.7)
	(= (slew_time Star3 Planet11) 26.7)
	(= (slew_time Planet11 Star4) 19.62)
	(= (slew_time Star4 Planet11) 19.62)
	(= (slew_time Planet11 Phenomenon5) 25.16)
	(= (slew_time Phenomenon5 Planet11) 25.16)
	(= (slew_time Planet11 Planet6) 64.97)
	(= (slew_time Planet6 Planet11) 64.97)
	(= (slew_time Planet11 Planet7) 44.81)
	(= (slew_time Planet7 Planet11) 44.81)
	(= (slew_time Planet11 Star8) 75.5)
	(= (slew_time Star8 Planet11) 75.5)
	(= (slew_time Planet11 Phenomenon9) 43.01)
	(= (slew_time Phenomenon9 Planet11) 43.01)
	(= (slew_time Planet11 Phenomenon10) 12.4)
	(= (slew_time Phenomenon10 Planet11) 12.4)
	(= (slew_time Star12 GroundStation0) 39.44)
	(= (slew_time GroundStation0 Star12) 39.44)
	(= (slew_time Star12 Star1) 26.36)
	(= (slew_time Star1 Star12) 26.36)
	(= (slew_time Star12 GroundStation2) 3.742)
	(= (slew_time GroundStation2 Star12) 3.742)
	(= (slew_time Star12 Star3) 8.618)
	(= (slew_time Star3 Star12) 8.618)
	(= (slew_time Star12 Star4) 13.3)
	(= (slew_time Star4 Star12) 13.3)
	(= (slew_time Star12 Phenomenon5) 25.82)
	(= (slew_time Phenomenon5 Star12) 25.82)
	(= (slew_time Star12 Planet6) 22.22)
	(= (slew_time Planet6 Star12) 22.22)
	(= (slew_time Star12 Planet7) 16.66)
	(= (slew_time Planet7 Star12) 16.66)
	(= (slew_time Star12 Star8) 71.76)
	(= (slew_time Star8 Star12) 71.76)
	(= (slew_time Star12 Phenomenon9) 26.8)
	(= (slew_time Phenomenon9 Star12) 26.8)
	(= (slew_time Star12 Phenomenon10) 5.224)
	(= (slew_time Phenomenon10 Star12) 5.224)
	(= (slew_time Star12 Planet11) 55.56)
	(= (slew_time Planet11 Star12) 55.56)
	(= (slew_time Star13 GroundStation0) 55.55)
	(= (slew_time GroundStation0 Star13) 55.55)
	(= (slew_time Star13 Star1) 1.8)
	(= (slew_time Star1 Star13) 1.8)
	(= (slew_time Star13 GroundStation2) 32.54)
	(= (slew_time GroundStation2 Star13) 32.54)
	(= (slew_time Star13 Star3) 1.761)
	(= (slew_time Star3 Star13) 1.761)
	(= (slew_time Star13 Star4) 21.39)
	(= (slew_time Star4 Star13) 21.39)
	(= (slew_time Star13 Phenomenon5) 23.12)
	(= (slew_time Phenomenon5 Star13) 23.12)
	(= (slew_time Star13 Planet6) 9.732)
	(= (slew_time Planet6 Star13) 9.732)
	(= (slew_time Star13 Planet7) 2.368)
	(= (slew_time Planet7 Star13) 2.368)
	(= (slew_time Star13 Star8) 33.71)
	(= (slew_time Star8 Star13) 33.71)
	(= (slew_time Star13 Phenomenon9) 11.69)
	(= (slew_time Phenomenon9 Star13) 11.69)
	(= (slew_time Star13 Phenomenon10) 10.18)
	(= (slew_time Phenomenon10 Star13) 10.18)
	(= (slew_time Star13 Planet11) 37.01)
	(= (slew_time Planet11 Star13) 37.01)
	(= (slew_time Star13 Star12) 43.2)
	(= (slew_time Star12 Star13) 43.2)
	(= (slew_time Planet14 GroundStation0) 33.34)
	(= (slew_time GroundStation0 Planet14) 33.34)
	(= (slew_time Planet14 Star1) 17.09)
	(= (slew_time Star1 Planet14) 17.09)
	(= (slew_time Planet14 GroundStation2) 43.49)
	(= (slew_time GroundStation2 Planet14) 43.49)
	(= (slew_time Planet14 Star3) 64.88)
	(= (slew_time Star3 Planet14) 64.88)
	(= (slew_time Planet14 Star4) 46.79)
	(= (slew_time Star4 Planet14) 46.79)
	(= (slew_time Planet14 Phenomenon5) 33.01)
	(= (slew_time Phenomenon5 Planet14) 33.01)
	(= (slew_time Planet14 Planet6) 24.27)
	(= (slew_time Planet6 Planet14) 24.27)
	(= (slew_time Planet14 Planet7) 18.19)
	(= (slew_time Planet7 Planet14) 18.19)
	(= (slew_time Planet14 Star8) 8.938)
	(= (slew_time Star8 Planet14) 8.938)
	(= (slew_time Planet14 Phenomenon9) 29.57)
	(= (slew_time Phenomenon9 Planet14) 29.57)
	(= (slew_time Planet14 Phenomenon10) 79.41)
	(= (slew_time Phenomenon10 Planet14) 79.41)
	(= (slew_time Planet14 Planet11) 36.1)
	(= (slew_time Planet11 Planet14) 36.1)
	(= (slew_time Planet14 Star12) 62.8)
	(= (slew_time Star12 Planet14) 62.8)
	(= (slew_time Planet14 Star13) 5.556)
	(= (slew_time Star13 Planet14) 5.556)
	(= (slew_time Star15 GroundStation0) 22.01)
	(= (slew_time GroundStation0 Star15) 22.01)
	(= (slew_time Star15 Star1) 77.16)
	(= (slew_time Star1 Star15) 77.16)
	(= (slew_time Star15 GroundStation2) 51.23)
	(= (slew_time GroundStation2 Star15) 51.23)
	(= (slew_time Star15 Star3) 39.77)
	(= (slew_time Star3 Star15) 39.77)
	(= (slew_time Star15 Star4) 29.09)
	(= (slew_time Star4 Star15) 29.09)
	(= (slew_time Star15 Phenomenon5) 43.54)
	(= (slew_time Phenomenon5 Star15) 43.54)
	(= (slew_time Star15 Planet6) 35.92)
	(= (slew_time Planet6 Star15) 35.92)
	(= (slew_time Star15 Planet7) 27.07)
	(= (slew_time Planet7 Star15) 27.07)
	(= (slew_time Star15 Star8) 16.06)
	(= (slew_time Star8 Star15) 16.06)
	(= (slew_time Star15 Phenomenon9) 47.46)
	(= (slew_time Phenomenon9 Star15) 47.46)
	(= (slew_time Star15 Phenomenon10) 51.54)
	(= (slew_time Phenomenon10 Star15) 51.54)
	(= (slew_time Star15 Planet11) 1.607)
	(= (slew_time Planet11 Star15) 1.607)
	(= (slew_time Star15 Star12) 55.35)
	(= (slew_time Star12 Star15) 55.35)
	(= (slew_time Star15 Star13) 29.47)
	(= (slew_time Star13 Star15) 29.47)
	(= (slew_time Star15 Planet14) 39.83)
	(= (slew_time Planet14 Star15) 39.83)
	(= (slew_time Phenomenon16 GroundStation0) 13.27)
	(= (slew_time GroundStation0 Phenomenon16) 13.27)
	(= (slew_time Phenomenon16 Star1) 24.14)
	(= (slew_time Star1 Phenomenon16) 24.14)
	(= (slew_time Phenomenon16 GroundStation2) 71.75)
	(= (slew_time GroundStation2 Phenomenon16) 71.75)
	(= (slew_time Phenomenon16 Star3) 53.18)
	(= (slew_time Star3 Phenomenon16) 53.18)
	(= (slew_time Phenomenon16 Star4) 7.651)
	(= (slew_time Star4 Phenomenon16) 7.651)
	(= (slew_time Phenomenon16 Phenomenon5) 14.04)
	(= (slew_time Phenomenon5 Phenomenon16) 14.04)
	(= (slew_time Phenomenon16 Planet6) 38.19)
	(= (slew_time Planet6 Phenomenon16) 38.19)
	(= (slew_time Phenomenon16 Planet7) 19.09)
	(= (slew_time Planet7 Phenomenon16) 19.09)
	(= (slew_time Phenomenon16 Star8) 33.28)
	(= (slew_time Star8 Phenomenon16) 33.28)
	(= (slew_time Phenomenon16 Phenomenon9) 49.35)
	(= (slew_time Phenomenon9 Phenomenon16) 49.35)
	(= (slew_time Phenomenon16 Phenomenon10) 14.35)
	(= (slew_time Phenomenon10 Phenomenon16) 14.35)
	(= (slew_time Phenomenon16 Planet11) 28.84)
	(= (slew_time Planet11 Phenomenon16) 28.84)
	(= (slew_time Phenomenon16 Star12) 22.31)
	(= (slew_time Star12 Phenomenon16) 22.31)
	(= (slew_time Phenomenon16 Star13) 42.74)
	(= (slew_time Star13 Phenomenon16) 42.74)
	(= (slew_time Phenomenon16 Planet14) 49.92)
	(= (slew_time Planet14 Phenomenon16) 49.92)
	(= (slew_time Phenomenon16 Star15) 65.52)
	(= (slew_time Star15 Phenomenon16) 65.52)
	(= (slew_time Planet17 GroundStation0) 26.23)
	(= (slew_time GroundStation0 Planet17) 26.23)
	(= (slew_time Planet17 Star1) 42.32)
	(= (slew_time Star1 Planet17) 42.32)
	(= (slew_time Planet17 GroundStation2) 78.29)
	(= (slew_time GroundStation2 Planet17) 78.29)
	(= (slew_time Planet17 Star3) 15.01)
	(= (slew_time Star3 Planet17) 15.01)
	(= (slew_time Planet17 Star4) 88.46)
	(= (slew_time Star4 Planet17) 88.46)
	(= (slew_time Planet17 Phenomenon5) 9.745)
	(= (slew_time Phenomenon5 Planet17) 9.745)
	(= (slew_time Planet17 Planet6) 17.08)
	(= (slew_time Planet6 Planet17) 17.08)
	(= (slew_time Planet17 Planet7) 72.44)
	(= (slew_time Planet7 Planet17) 72.44)
	(= (slew_time Planet17 Star8) 29.53)
	(= (slew_time Star8 Planet17) 29.53)
	(= (slew_time Planet17 Phenomenon9) 1.421)
	(= (slew_time Phenomenon9 Planet17) 1.421)
	(= (slew_time Planet17 Phenomenon10) 64.2)
	(= (slew_time Phenomenon10 Planet17) 64.2)
	(= (slew_time Planet17 Planet11) 20.69)
	(= (slew_time Planet11 Planet17) 20.69)
	(= (slew_time Planet17 Star12) 55.27)
	(= (slew_time Star12 Planet17) 55.27)
	(= (slew_time Planet17 Star13) 8.594)
	(= (slew_time Star13 Planet17) 8.594)
	(= (slew_time Planet17 Planet14) 16.41)
	(= (slew_time Planet14 Planet17) 16.41)
	(= (slew_time Planet17 Star15) 6.012)
	(= (slew_time Star15 Planet17) 6.012)
	(= (slew_time Planet17 Phenomenon16) 9.488)
	(= (slew_time Phenomenon16 Planet17) 9.488)
	(= (slew_time Star18 GroundStation0) 36.14)
	(= (slew_time GroundStation0 Star18) 36.14)
	(= (slew_time Star18 Star1) 45.14)
	(= (slew_time Star1 Star18) 45.14)
	(= (slew_time Star18 GroundStation2) 5.303)
	(= (slew_time GroundStation2 Star18) 5.303)
	(= (slew_time Star18 Star3) 11.1)
	(= (slew_time Star3 Star18) 11.1)
	(= (slew_time Star18 Star4) 51.22)
	(= (slew_time Star4 Star18) 51.22)
	(= (slew_time Star18 Phenomenon5) 32.26)
	(= (slew_time Phenomenon5 Star18) 32.26)
	(= (slew_time Star18 Planet6) 17.6)
	(= (slew_time Planet6 Star18) 17.6)
	(= (slew_time Star18 Planet7) 31.91)
	(= (slew_time Planet7 Star18) 31.91)
	(= (slew_time Star18 Star8) 77.27)
	(= (slew_time Star8 Star18) 77.27)
	(= (slew_time Star18 Phenomenon9) 86.08)
	(= (slew_time Phenomenon9 Star18) 86.08)
	(= (slew_time Star18 Phenomenon10) 8.299)
	(= (slew_time Phenomenon10 Star18) 8.299)
	(= (slew_time Star18 Planet11) 9.318)
	(= (slew_time Planet11 Star18) 9.318)
	(= (slew_time Star18 Star12) 27.23)
	(= (slew_time Star12 Star18) 27.23)
	(= (slew_time Star18 Star13) 8.653)
	(= (slew_time Star13 Star18) 8.653)
	(= (slew_time Star18 Planet14) 17.13)
	(= (slew_time Planet14 Star18) 17.13)
	(= (slew_time Star18 Star15) 77.87)
	(= (slew_time Star15 Star18) 77.87)
	(= (slew_time Star18 Phenomenon16) 47.8)
	(= (slew_time Phenomenon16 Star18) 47.8)
	(= (slew_time Star18 Planet17) 6.489)
	(= (slew_time Planet17 Star18) 6.489)
	(= (slew_time Star19 GroundStation0) 65.59)
	(= (slew_time GroundStation0 Star19) 65.59)
	(= (slew_time Star19 Star1) 70.23)
	(= (slew_time Star1 Star19) 70.23)
	(= (slew_time Star19 GroundStation2) 26.74)
	(= (slew_time GroundStation2 Star19) 26.74)
	(= (slew_time Star19 Star3) 39.5)
	(= (slew_time Star3 Star19) 39.5)
	(= (slew_time Star19 Star4) 46.99)
	(= (slew_time Star4 Star19) 46.99)
	(= (slew_time Star19 Phenomenon5) 38.25)
	(= (slew_time Phenomenon5 Star19) 38.25)
	(= (slew_time Star19 Planet6) 10.32)
	(= (slew_time Planet6 Star19) 10.32)
	(= (slew_time Star19 Planet7) 0.3064)
	(= (slew_time Planet7 Star19) 0.3064)
	(= (slew_time Star19 Star8) 21.29)
	(= (slew_time Star8 Star19) 21.29)
	(= (slew_time Star19 Phenomenon9) 71.08)
	(= (slew_time Phenomenon9 Star19) 71.08)
	(= (slew_time Star19 Phenomenon10) 25.19)
	(= (slew_time Phenomenon10 Star19) 25.19)
	(= (slew_time Star19 Planet11) 82.73)
	(= (slew_time Planet11 Star19) 82.73)
	(= (slew_time Star19 Star12) 24.33)
	(= (slew_time Star12 Star19) 24.33)
	(= (slew_time Star19 Star13) 56.9)
	(= (slew_time Star13 Star19) 56.9)
	(= (slew_time Star19 Planet14) 61.29)
	(= (slew_time Planet14 Star19) 61.29)
	(= (slew_time Star19 Star15) 0.7403)
	(= (slew_time Star15 Star19) 0.7403)
	(= (slew_time Star19 Phenomenon16) 39.16)
	(= (slew_time Phenomenon16 Star19) 39.16)
	(= (slew_time Star19 Planet17) 25.32)
	(= (slew_time Planet17 Star19) 25.32)
	(= (slew_time Star19 Star18) 8.648)
	(= (slew_time Star18 Star19) 8.648)
	(= (slew_time Planet20 GroundStation0) 26.39)
	(= (slew_time GroundStation0 Planet20) 26.39)
	(= (slew_time Planet20 Star1) 62.16)
	(= (slew_time Star1 Planet20) 62.16)
	(= (slew_time Planet20 GroundStation2) 4.77)
	(= (slew_time GroundStation2 Planet20) 4.77)
	(= (slew_time Planet20 Star3) 46.58)
	(= (slew_time Star3 Planet20) 46.58)
	(= (slew_time Planet20 Star4) 13.65)
	(= (slew_time Star4 Planet20) 13.65)
	(= (slew_time Planet20 Phenomenon5) 31.55)
	(= (slew_time Phenomenon5 Planet20) 31.55)
	(= (slew_time Planet20 Planet6) 35.49)
	(= (slew_time Planet6 Planet20) 35.49)
	(= (slew_time Planet20 Planet7) 22.16)
	(= (slew_time Planet7 Planet20) 22.16)
	(= (slew_time Planet20 Star8) 22.68)
	(= (slew_time Star8 Planet20) 22.68)
	(= (slew_time Planet20 Phenomenon9) 62.95)
	(= (slew_time Phenomenon9 Planet20) 62.95)
	(= (slew_time Planet20 Phenomenon10) 1.782)
	(= (slew_time Phenomenon10 Planet20) 1.782)
	(= (slew_time Planet20 Planet11) 41.47)
	(= (slew_time Planet11 Planet20) 41.47)
	(= (slew_time Planet20 Star12) 84.39)
	(= (slew_time Star12 Planet20) 84.39)
	(= (slew_time Planet20 Star13) 3.764)
	(= (slew_time Star13 Planet20) 3.764)
	(= (slew_time Planet20 Planet14) 74.69)
	(= (slew_time Planet14 Planet20) 74.69)
	(= (slew_time Planet20 Star15) 5.383)
	(= (slew_time Star15 Planet20) 5.383)
	(= (slew_time Planet20 Phenomenon16) 55.78)
	(= (slew_time Phenomenon16 Planet20) 55.78)
	(= (slew_time Planet20 Planet17) 22.4)
	(= (slew_time Planet17 Planet20) 22.4)
	(= (slew_time Planet20 Star18) 5.52)
	(= (slew_time Star18 Planet20) 5.52)
	(= (slew_time Planet20 Star19) 74.35)
	(= (slew_time Star19 Planet20) 74.35)
	(= (slew_time Planet21 GroundStation0) 66.7)
	(= (slew_time GroundStation0 Planet21) 66.7)
	(= (slew_time Planet21 Star1) 42.34)
	(= (slew_time Star1 Planet21) 42.34)
	(= (slew_time Planet21 GroundStation2) 42.96)
	(= (slew_time GroundStation2 Planet21) 42.96)
	(= (slew_time Planet21 Star3) 31.08)
	(= (slew_time Star3 Planet21) 31.08)
	(= (slew_time Planet21 Star4) 11.32)
	(= (slew_time Star4 Planet21) 11.32)
	(= (slew_time Planet21 Phenomenon5) 2.561)
	(= (slew_time Phenomenon5 Planet21) 2.561)
	(= (slew_time Planet21 Planet6) 8.608)
	(= (slew_time Planet6 Planet21) 8.608)
	(= (slew_time Planet21 Planet7) 2.455)
	(= (slew_time Planet7 Planet21) 2.455)
	(= (slew_time Planet21 Star8) 23.34)
	(= (slew_time Star8 Planet21) 23.34)
	(= (slew_time Planet21 Phenomenon9) 18.33)
	(= (slew_time Phenomenon9 Planet21) 18.33)
	(= (slew_time Planet21 Phenomenon10) 79.12)
	(= (slew_time Phenomenon10 Planet21) 79.12)
	(= (slew_time Planet21 Planet11) 45.89)
	(= (slew_time Planet11 Planet21) 45.89)
	(= (slew_time Planet21 Star12) 58.58)
	(= (slew_time Star12 Planet21) 58.58)
	(= (slew_time Planet21 Star13) 22.95)
	(= (slew_time Star13 Planet21) 22.95)
	(= (slew_time Planet21 Planet14) 24)
	(= (slew_time Planet14 Planet21) 24)
	(= (slew_time Planet21 Star15) 39.95)
	(= (slew_time Star15 Planet21) 39.95)
	(= (slew_time Planet21 Phenomenon16) 38.97)
	(= (slew_time Phenomenon16 Planet21) 38.97)
	(= (slew_time Planet21 Planet17) 93.83)
	(= (slew_time Planet17 Planet21) 93.83)
	(= (slew_time Planet21 Star18) 32.8)
	(= (slew_time Star18 Planet21) 32.8)
	(= (slew_time Planet21 Star19) 26.74)
	(= (slew_time Star19 Planet21) 26.74)
	(= (slew_time Planet21 Planet20) 59.52)
	(= (slew_time Planet20 Planet21) 59.52)
	(= (slew_time Planet22 GroundStation0) 25.83)
	(= (slew_time GroundStation0 Planet22) 25.83)
	(= (slew_time Planet22 Star1) 13.35)
	(= (slew_time Star1 Planet22) 13.35)
	(= (slew_time Planet22 GroundStation2) 49.17)
	(= (slew_time GroundStation2 Planet22) 49.17)
	(= (slew_time Planet22 Star3) 39.2)
	(= (slew_time Star3 Planet22) 39.2)
	(= (slew_time Planet22 Star4) 42.4)
	(= (slew_time Star4 Planet22) 42.4)
	(= (slew_time Planet22 Phenomenon5) 13.39)
	(= (slew_time Phenomenon5 Planet22) 13.39)
	(= (slew_time Planet22 Planet6) 81.38)
	(= (slew_time Planet6 Planet22) 81.38)
	(= (slew_time Planet22 Planet7) 54.48)
	(= (slew_time Planet7 Planet22) 54.48)
	(= (slew_time Planet22 Star8) 63.91)
	(= (slew_time Star8 Planet22) 63.91)
	(= (slew_time Planet22 Phenomenon9) 12.11)
	(= (slew_time Phenomenon9 Planet22) 12.11)
	(= (slew_time Planet22 Phenomenon10) 32.21)
	(= (slew_time Phenomenon10 Planet22) 32.21)
	(= (slew_time Planet22 Planet11) 1.175)
	(= (slew_time Planet11 Planet22) 1.175)
	(= (slew_time Planet22 Star12) 6.196)
	(= (slew_time Star12 Planet22) 6.196)
	(= (slew_time Planet22 Star13) 6.541)
	(= (slew_time Star13 Planet22) 6.541)
	(= (slew_time Planet22 Planet14) 38.79)
	(= (slew_time Planet14 Planet22) 38.79)
	(= (slew_time Planet22 Star15) 40.2)
	(= (slew_time Star15 Planet22) 40.2)
	(= (slew_time Planet22 Phenomenon16) 21.2)
	(= (slew_time Phenomenon16 Planet22) 21.2)
	(= (slew_time Planet22 Planet17) 26.78)
	(= (slew_time Planet17 Planet22) 26.78)
	(= (slew_time Planet22 Star18) 6.745)
	(= (slew_time Star18 Planet22) 6.745)
	(= (slew_time Planet22 Star19) 23.7)
	(= (slew_time Star19 Planet22) 23.7)
	(= (slew_time Planet22 Planet20) 54.38)
	(= (slew_time Planet20 Planet22) 54.38)
	(= (slew_time Planet22 Planet21) 12.65)
	(= (slew_time Planet21 Planet22) 12.65)
	(= (slew_time Planet23 GroundStation0) 38.96)
	(= (slew_time GroundStation0 Planet23) 38.96)
	(= (slew_time Planet23 Star1) 24.28)
	(= (slew_time Star1 Planet23) 24.28)
	(= (slew_time Planet23 GroundStation2) 21.09)
	(= (slew_time GroundStation2 Planet23) 21.09)
	(= (slew_time Planet23 Star3) 69.83)
	(= (slew_time Star3 Planet23) 69.83)
	(= (slew_time Planet23 Star4) 15.37)
	(= (slew_time Star4 Planet23) 15.37)
	(= (slew_time Planet23 Phenomenon5) 13.55)
	(= (slew_time Phenomenon5 Planet23) 13.55)
	(= (slew_time Planet23 Planet6) 38.77)
	(= (slew_time Planet6 Planet23) 38.77)
	(= (slew_time Planet23 Planet7) 64.53)
	(= (slew_time Planet7 Planet23) 64.53)
	(= (slew_time Planet23 Star8) 7.624)
	(= (slew_time Star8 Planet23) 7.624)
	(= (slew_time Planet23 Phenomenon9) 27.18)
	(= (slew_time Phenomenon9 Planet23) 27.18)
	(= (slew_time Planet23 Phenomenon10) 58.49)
	(= (slew_time Phenomenon10 Planet23) 58.49)
	(= (slew_time Planet23 Planet11) 12.92)
	(= (slew_time Planet11 Planet23) 12.92)
	(= (slew_time Planet23 Star12) 15.94)
	(= (slew_time Star12 Planet23) 15.94)
	(= (slew_time Planet23 Star13) 67.49)
	(= (slew_time Star13 Planet23) 67.49)
	(= (slew_time Planet23 Planet14) 14.84)
	(= (slew_time Planet14 Planet23) 14.84)
	(= (slew_time Planet23 Star15) 13.18)
	(= (slew_time Star15 Planet23) 13.18)
	(= (slew_time Planet23 Phenomenon16) 30.92)
	(= (slew_time Phenomenon16 Planet23) 30.92)
	(= (slew_time Planet23 Planet17) 55.16)
	(= (slew_time Planet17 Planet23) 55.16)
	(= (slew_time Planet23 Star18) 37.7)
	(= (slew_time Star18 Planet23) 37.7)
	(= (slew_time Planet23 Star19) 2.187)
	(= (slew_time Star19 Planet23) 2.187)
	(= (slew_time Planet23 Planet20) 59.44)
	(= (slew_time Planet20 Planet23) 59.44)
	(= (slew_time Planet23 Planet21) 4.713)
	(= (slew_time Planet21 Planet23) 4.713)
	(= (slew_time Planet23 Planet22) 0.3381)
	(= (slew_time Planet22 Planet23) 0.3381)
	(= (slew_time Planet24 GroundStation0) 26.3)
	(= (slew_time GroundStation0 Planet24) 26.3)
	(= (slew_time Planet24 Star1) 15.75)
	(= (slew_time Star1 Planet24) 15.75)
	(= (slew_time Planet24 GroundStation2) 4.886)
	(= (slew_time GroundStation2 Planet24) 4.886)
	(= (slew_time Planet24 Star3) 30.42)
	(= (slew_time Star3 Planet24) 30.42)
	(= (slew_time Planet24 Star4) 5.22)
	(= (slew_time Star4 Planet24) 5.22)
	(= (slew_time Planet24 Phenomenon5) 25.61)
	(= (slew_time Phenomenon5 Planet24) 25.61)
	(= (slew_time Planet24 Planet6) 30.66)
	(= (slew_time Planet6 Planet24) 30.66)
	(= (slew_time Planet24 Planet7) 17.24)
	(= (slew_time Planet7 Planet24) 17.24)
	(= (slew_time Planet24 Star8) 41.18)
	(= (slew_time Star8 Planet24) 41.18)
	(= (slew_time Planet24 Phenomenon9) 20.98)
	(= (slew_time Phenomenon9 Planet24) 20.98)
	(= (slew_time Planet24 Phenomenon10) 32.64)
	(= (slew_time Phenomenon10 Planet24) 32.64)
	(= (slew_time Planet24 Planet11) 27.37)
	(= (slew_time Planet11 Planet24) 27.37)
	(= (slew_time Planet24 Star12) 11.67)
	(= (slew_time Star12 Planet24) 11.67)
	(= (slew_time Planet24 Star13) 8.07)
	(= (slew_time Star13 Planet24) 8.07)
	(= (slew_time Planet24 Planet14) 94.17)
	(= (slew_time Planet14 Planet24) 94.17)
	(= (slew_time Planet24 Star15) 23.78)
	(= (slew_time Star15 Planet24) 23.78)
	(= (slew_time Planet24 Phenomenon16) 66.81)
	(= (slew_time Phenomenon16 Planet24) 66.81)
	(= (slew_time Planet24 Planet17) 64.08)
	(= (slew_time Planet17 Planet24) 64.08)
	(= (slew_time Planet24 Star18) 33.74)
	(= (slew_time Star18 Planet24) 33.74)
	(= (slew_time Planet24 Star19) 18.85)
	(= (slew_time Star19 Planet24) 18.85)
	(= (slew_time Planet24 Planet20) 87.46)
	(= (slew_time Planet20 Planet24) 87.46)
	(= (slew_time Planet24 Planet21) 13.47)
	(= (slew_time Planet21 Planet24) 13.47)
	(= (slew_time Planet24 Planet22) 54.92)
	(= (slew_time Planet22 Planet24) 54.92)
	(= (slew_time Planet24 Planet23) 1.861)
	(= (slew_time Planet23 Planet24) 1.861)
)
(:goal (and
	(pointing satellite0 Star19)
	(pointing satellite1 Planet22)
	(pointing satellite2 Star13)
	(pointing satellite3 Planet14)
	(pointing satellite5 Planet24)
	(pointing satellite7 Star3)
	(have_image Phenomenon5 spectrograph2)
	(have_image Planet6 spectrograph2)
	(have_image Planet7 infrared0)
	(have_image Phenomenon9 infrared0)
	(have_image Phenomenon10 image1)
	(have_image Planet11 image1)
	(have_image Star12 thermograph3)
	(have_image Star13 thermograph3)
	(have_image Planet14 thermograph4)
	(have_image Star15 thermograph4)
	(have_image Phenomenon16 image1)
	(have_image Planet17 thermograph3)
	(have_image Star18 image1)
	(have_image Planet20 image1)
	(have_image Planet21 infrared0)
	(have_image Planet22 image1)
	(have_image Planet23 thermograph3)
	(have_image Planet24 infrared0)
))
(:metric minimize (total-time))

)