(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	instrument3 - instrument
	instrument4 - instrument
	instrument5 - instrument
	instrument6 - instrument
	instrument7 - instrument
	instrument8 - instrument
	instrument9 - instrument
	satellite1 - satellite
	instrument10 - instrument
	instrument11 - instrument
	instrument12 - instrument
	instrument13 - instrument
	instrument14 - instrument
	instrument15 - instrument
	satellite2 - satellite
	instrument16 - instrument
	instrument17 - instrument
	instrument18 - instrument
	instrument19 - instrument
	satellite3 - satellite
	instrument20 - instrument
	instrument21 - instrument
	satellite4 - satellite
	instrument22 - instrument
	instrument23 - instrument
	instrument24 - instrument
	instrument25 - instrument
	instrument26 - instrument
	instrument27 - instrument
	instrument28 - instrument
	spectrograph6 - mode
	infrared1 - mode
	thermograph8 - mode
	infrared5 - mode
	image3 - mode
	infrared9 - mode
	image2 - mode
	thermograph7 - mode
	image4 - mode
	spectrograph0 - mode
	Star0 - direction
	Star2 - direction
	Star4 - direction
	GroundStation3 - direction
	GroundStation1 - direction
	Phenomenon5 - direction
	Star6 - direction
	Planet7 - direction
	Phenomenon8 - direction
	Planet9 - direction
	Star10 - direction
	Star11 - direction
	Phenomenon12 - direction
	Planet13 - direction
	Phenomenon14 - direction
	Planet15 - direction
	Star16 - direction
	Planet17 - direction
	Planet18 - direction
	Phenomenon19 - direction
	Star20 - direction
	Phenomenon21 - direction
	Planet22 - direction
	Star23 - direction
	Star24 - direction
)
(:init
	(supports instrument0 image3)
	(calibration_target instrument0 Star2)
	(= (calibration_time instrument0 Star2) 20.5)
	(supports instrument1 infrared9)
	(calibration_target instrument1 Star4)
	(= (calibration_time instrument1 Star4) 73.2)
	(supports instrument2 thermograph8)
	(supports instrument2 image2)
	(supports instrument2 image4)
	(calibration_target instrument2 Star4)
	(= (calibration_time instrument2 Star4) 86.8)
	(supports instrument3 infrared9)
	(calibration_target instrument3 Star0)
	(= (calibration_time instrument3 Star0) 62.9)
	(supports instrument4 image3)
	(supports instrument4 thermograph8)
	(calibration_target instrument4 GroundStation3)
	(= (calibration_time instrument4 GroundStation3) 61.8)
	(supports instrument5 infrared9)
	(supports instrument5 image4)
	(calibration_target instrument5 GroundStation3)
	(= (calibration_time instrument5 GroundStation3) 43.4)
	(supports instrument6 infrared1)
	(calibration_target instrument6 GroundStation3)
	(= (calibration_time instrument6 GroundStation3) 40.3)
	(supports instrument7 thermograph8)
	(supports instrument7 spectrograph6)
	(calibration_target instrument7 GroundStation1)
	(= (calibration_time instrument7 GroundStation1) 77.4)
	(supports instrument8 spectrograph0)
	(supports instrument8 infrared9)
	(supports instrument8 thermograph7)
	(calibration_target instrument8 Star2)
	(= (calibration_time instrument8 Star2) 22.5)
	(supports instrument9 thermograph7)
	(calibration_target instrument9 Star4)
	(= (calibration_time instrument9 Star4) 64.9)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(on_board instrument5 satellite0)
	(on_board instrument6 satellite0)
	(on_board instrument7 satellite0)
	(on_board instrument8 satellite0)
	(on_board instrument9 satellite0)
	(power_avail satellite0)
	(pointing satellite0 GroundStation1)
	(supports instrument10 infrared1)
	(supports instrument10 thermograph8)
	(supports instrument10 spectrograph6)
	(calibration_target instrument10 Star4)
	(= (calibration_time instrument10 Star4) 0.574)
	(supports instrument11 image4)
	(supports instrument11 thermograph7)
	(supports instrument11 infrared1)
	(calibration_target instrument11 GroundStation3)
	(= (calibration_time instrument11 GroundStation3) 99.5)
	(supports instrument12 infrared9)
	(supports instrument12 thermograph8)
	(supports instrument12 infrared5)
	(calibration_target instrument12 GroundStation3)
	(= (calibration_time instrument12 GroundStation3) 78.7)
	(supports instrument13 image2)
	(supports instrument13 infrared1)
	(calibration_target instrument13 Star4)
	(= (calibration_time instrument13 Star4) 68.8)
	(supports instrument14 image3)
	(calibration_target instrument14 GroundStation3)
	(= (calibration_time instrument14 GroundStation3) 84.4)
	(supports instrument15 thermograph7)
	(calibration_target instrument15 Star2)
	(= (calibration_time instrument15 Star2) 23)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(on_board instrument12 satellite1)
	(on_board instrument13 satellite1)
	(on_board instrument14 satellite1)
	(on_board instrument15 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon19)
	(supports instrument16 infrared9)
	(supports instrument16 image2)
	(calibration_target instrument16 Star4)
	(= (calibration_time instrument16 Star4) 35.9)
	(supports instrument17 infrared5)
	(calibration_target instrument17 Star0)
	(= (calibration_time instrument17 Star0) 82.3)
	(supports instrument18 infrared9)
	(calibration_target instrument18 GroundStation1)
	(= (calibration_time instrument18 GroundStation1) 98)
	(supports instrument19 infrared5)
	(supports instrument19 image2)
	(calibration_target instrument19 GroundStation3)
	(= (calibration_time instrument19 GroundStation3) 16.8)
	(on_board instrument16 satellite2)
	(on_board instrument17 satellite2)
	(on_board instrument18 satellite2)
	(on_board instrument19 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Phenomenon14)
	(supports instrument20 image2)
	(supports instrument20 image3)
	(supports instrument20 image4)
	(calibration_target instrument20 GroundStation1)
	(= (calibration_time instrument20 GroundStation1) 87.5)
	(supports instrument21 image3)
	(supports instrument21 thermograph8)
	(supports instrument21 infrared5)
	(calibration_target instrument21 Star2)
	(= (calibration_time instrument21 Star2) 78.1)
	(on_board instrument20 satellite3)
	(on_board instrument21 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star10)
	(supports instrument22 thermograph8)
	(supports instrument22 infrared5)
	(calibration_target instrument22 Star4)
	(= (calibration_time instrument22 Star4) 35.1)
	(supports instrument23 thermograph8)
	(supports instrument23 image3)
	(calibration_target instrument23 Star2)
	(= (calibration_time instrument23 Star2) 70.8)
	(supports instrument24 thermograph8)
	(calibration_target instrument24 Star2)
	(= (calibration_time instrument24 Star2) 80.6)
	(supports instrument25 infrared5)
	(calibration_target instrument25 Star2)
	(= (calibration_time instrument25 Star2) 75.5)
	(supports instrument26 image3)
	(calibration_target instrument26 Star4)
	(= (calibration_time instrument26 Star4) 68.1)
	(supports instrument27 image2)
	(supports instrument27 infrared9)
	(calibration_target instrument27 GroundStation3)
	(= (calibration_time instrument27 GroundStation3) 26.4)
	(supports instrument28 spectrograph0)
	(supports instrument28 image4)
	(supports instrument28 thermograph7)
	(calibration_target instrument28 GroundStation1)
	(= (calibration_time instrument28 GroundStation1) 15.4)
	(on_board instrument22 satellite4)
	(on_board instrument23 satellite4)
	(on_board instrument24 satellite4)
	(on_board instrument25 satellite4)
	(on_board instrument26 satellite4)
	(on_board instrument27 satellite4)
	(on_board instrument28 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star16)
	(= (slew_time Star2 Star0) 9.879)
	(= (slew_time Star0 Star2) 9.879)
	(= (slew_time Star2 GroundStation1) 24.71)
	(= (slew_time GroundStation1 Star2) 24.71)
	(= (slew_time Star4 Star0) 4.716)
	(= (slew_time Star0 Star4) 4.716)
	(= (slew_time Star4 GroundStation1) 66.19)
	(= (slew_time GroundStation1 Star4) 66.19)
	(= (slew_time Star4 Star2) 0.2207)
	(= (slew_time Star2 Star4) 0.2207)
	(= (slew_time Star4 GroundStation3) 6.98)
	(= (slew_time GroundStation3 Star4) 6.98)
	(= (slew_time GroundStation3 Star0) 26.95)
	(= (slew_time Star0 GroundStation3) 26.95)
	(= (slew_time GroundStation3 GroundStation1) 30.77)
	(= (slew_time GroundStation1 GroundStation3) 30.77)
	(= (slew_time GroundStation3 Star2) 42.85)
	(= (slew_time Star2 GroundStation3) 42.85)
	(= (slew_time GroundStation1 Star0) 28.43)
	(= (slew_time Star0 GroundStation1) 28.43)
	(= (slew_time Phenomenon5 Star0) 7.046)
	(= (slew_time Star0 Phenomenon5) 7.046)
	(= (slew_time Phenomenon5 GroundStation1) 53.23)
	(= (slew_time GroundStation1 Phenomenon5) 53.23)
	(= (slew_time Phenomenon5 Star2) 19.72)
	(= (slew_time Star2 Phenomenon5) 19.72)
	(= (slew_time Phenomenon5 GroundStation3) 41.68)
	(= (slew_time GroundStation3 Phenomenon5) 41.68)
	(= (slew_time Phenomenon5 Star4) 69.08)
	(= (slew_time Star4 Phenomenon5) 69.08)
	(= (slew_time Star6 Star0) 62.17)
	(= (slew_time Star0 Star6) 62.17)
	(= (slew_time Star6 GroundStation1) 10.86)
	(= (slew_time GroundStation1 Star6) 10.86)
	(= (slew_time Star6 Star2) 6.049)
	(= (slew_time Star2 Star6) 6.049)
	(= (slew_time Star6 GroundStation3) 10.56)
	(= (slew_time GroundStation3 Star6) 10.56)
	(= (slew_time Star6 Star4) 21.88)
	(= (slew_time Star4 Star6) 21.88)
	(= (slew_time Star6 Phenomenon5) 23.09)
	(= (slew_time Phenomenon5 Star6) 23.09)
	(= (slew_time Planet7 Star0) 40.19)
	(= (slew_time Star0 Planet7) 40.19)
	(= (slew_time Planet7 GroundStation1) 5.708)
	(= (slew_time GroundStation1 Planet7) 5.708)
	(= (slew_time Planet7 Star2) 21.48)
	(= (slew_time Star2 Planet7) 21.48)
	(= (slew_time Planet7 GroundStation3) 40.34)
	(= (slew_time GroundStation3 Planet7) 40.34)
	(= (slew_time Planet7 Star4) 65.52)
	(= (slew_time Star4 Planet7) 65.52)
	(= (slew_time Planet7 Phenomenon5) 80.35)
	(= (slew_time Phenomenon5 Planet7) 80.35)
	(= (slew_time Planet7 Star6) 0.5044)
	(= (slew_time Star6 Planet7) 0.5044)
	(= (slew_time Phenomenon8 Star0) 24.25)
	(= (slew_time Star0 Phenomenon8) 24.25)
	(= (slew_time Phenomenon8 GroundStation1) 3.263)
	(= (slew_time GroundStation1 Phenomenon8) 3.263)
	(= (slew_time Phenomenon8 Star2) 23.45)
	(= (slew_time Star2 Phenomenon8) 23.45)
	(= (slew_time Phenomenon8 GroundStation3) 1.969)
	(= (slew_time GroundStation3 Phenomenon8) 1.969)
	(= (slew_time Phenomenon8 Star4) 52.26)
	(= (slew_time Star4 Phenomenon8) 52.26)
	(= (slew_time Phenomenon8 Phenomenon5) 6.43)
	(= (slew_time Phenomenon5 Phenomenon8) 6.43)
	(= (slew_time Phenomenon8 Star6) 88.88)
	(= (slew_time Star6 Phenomenon8) 88.88)
	(= (slew_time Phenomenon8 Planet7) 10.13)
	(= (slew_time Planet7 Phenomenon8) 10.13)
	(= (slew_time Planet9 Star0) 44.16)
	(= (slew_time Star0 Planet9) 44.16)
	(= (slew_time Planet9 GroundStation1) 14.14)
	(= (slew_time GroundStation1 Planet9) 14.14)
	(= (slew_time Planet9 Star2) 13.83)
	(= (slew_time Star2 Planet9) 13.83)
	(= (slew_time Planet9 GroundStation3) 56.92)
	(= (slew_time GroundStation3 Planet9) 56.92)
	(= (slew_time Planet9 Star4) 16.41)
	(= (slew_time Star4 Planet9) 16.41)
	(= (slew_time Planet9 Phenomenon5) 28.96)
	(= (slew_time Phenomenon5 Planet9) 28.96)
	(= (slew_time Planet9 Star6) 29.72)
	(= (slew_time Star6 Planet9) 29.72)
	(= (slew_time Planet9 Planet7) 69.27)
	(= (slew_time Planet7 Planet9) 69.27)
	(= (slew_time Planet9 Phenomenon8) 54.04)
	(= (slew_time Phenomenon8 Planet9) 54.04)
	(= (slew_time Star10 Star0) 77.98)
	(= (slew_time Star0 Star10) 77.98)
	(= (slew_time Star10 GroundStation1) 30.88)
	(= (slew_time GroundStation1 Star10) 30.88)
	(= (slew_time Star10 Star2) 66.31)
	(= (slew_time Star2 Star10) 66.31)
	(= (slew_time Star10 GroundStation3) 2.579)
	(= (slew_time GroundStation3 Star10) 2.579)
	(= (slew_time Star10 Star4) 10.62)
	(= (slew_time Star4 Star10) 10.62)
	(= (slew_time Star10 Phenomenon5) 44.62)
	(= (slew_time Phenomenon5 Star10) 44.62)
	(= (slew_time Star10 Star6) 65.47)
	(= (slew_time Star6 Star10) 65.47)
	(= (slew_time Star10 Planet7) 15.81)
	(= (slew_time Planet7 Star10) 15.81)
	(= (slew_time Star10 Phenomenon8) 14.48)
	(= (slew_time Phenomenon8 Star10) 14.48)
	(= (slew_time Star10 Planet9) 29.55)
	(= (slew_time Planet9 Star10) 29.55)
	(= (slew_time Star11 Star0) 16.71)
	(= (slew_time Star0 Star11) 16.71)
	(= (slew_time Star11 GroundStation1) 90.05)
	(= (slew_time GroundStation1 Star11) 90.05)
	(= (slew_time Star11 Star2) 51.27)
	(= (slew_time Star2 Star11) 51.27)
	(= (slew_time Star11 GroundStation3) 59.49)
	(= (slew_time GroundStation3 Star11) 59.49)
	(= (slew_time Star11 Star4) 58.98)
	(= (slew_time Star4 Star11) 58.98)
	(= (slew_time Star11 Phenomenon5) 7.225)
	(= (slew_time Phenomenon5 Star11) 7.225)
	(= (slew_time Star11 Star6) 17.41)
	(= (slew_time Star6 Star11) 17.41)
	(= (slew_time Star11 Planet7) 47.99)
	(= (slew_time Planet7 Star11) 47.99)
	(= (slew_time Star11 Phenomenon8) 16.52)
	(= (slew_time Phenomenon8 Star11) 16.52)
	(= (slew_time Star11 Planet9) 25.17)
	(= (slew_time Planet9 Star11) 25.17)
	(= (slew_time Star11 Star10) 5.511)
	(= (slew_time Star10 Star11) 5.511)
	(= (slew_time Phenomenon12 Star0) 3.507)
	(= (slew_time Star0 Phenomenon12) 3.507)
	(= (slew_time Phenomenon12 GroundStation1) 9.677)
	(= (slew_time GroundStation1 Phenomenon12) 9.677)
	(= (slew_time Phenomenon12 Star2) 45.13)
	(= (slew_time Star2 Phenomenon12) 45.13)
	(= (slew_time Phenomenon12 GroundStation3) 25.42)
	(= (slew_time GroundStation3 Phenomenon12) 25.42)
	(= (slew_time Phenomenon12 Star4) 25.96)
	(= (slew_time Star4 Phenomenon12) 25.96)
	(= (slew_time Phenomenon12 Phenomenon5) 4.426)
	(= (slew_time Phenomenon5 Phenomenon12) 4.426)
	(= (slew_time Phenomenon12 Star6) 24.69)
	(= (slew_time Star6 Phenomenon12) 24.69)
	(= (slew_time Phenomenon12 Planet7) 14.15)
	(= (slew_time Planet7 Phenomenon12) 14.15)
	(= (slew_time Phenomenon12 Phenomenon8) 30.81)
	(= (slew_time Phenomenon8 Phenomenon12) 30.81)
	(= (slew_time Phenomenon12 Planet9) 19.45)
	(= (slew_time Planet9 Phenomenon12) 19.45)
	(= (slew_time Phenomenon12 Star10) 7.38)
	(= (slew_time Star10 Phenomenon12) 7.38)
	(= (slew_time Phenomenon12 Star11) 9.476)
	(= (slew_time Star11 Phenomenon12) 9.476)
	(= (slew_time Planet13 Star0) 41.42)
	(= (slew_time Star0 Planet13) 41.42)
	(= (slew_time Planet13 GroundStation1) 34.63)
	(= (slew_time GroundStation1 Planet13) 34.63)
	(= (slew_time Planet13 Star2) 27.42)
	(= (slew_time Star2 Planet13) 27.42)
	(= (slew_time Planet13 GroundStation3) 55.78)
	(= (slew_time GroundStation3 Planet13) 55.78)
	(= (slew_time Planet13 Star4) 91.36)
	(= (slew_time Star4 Planet13) 91.36)
	(= (slew_time Planet13 Phenomenon5) 2.482)
	(= (slew_time Phenomenon5 Planet13) 2.482)
	(= (slew_time Planet13 Star6) 28.91)
	(= (slew_time Star6 Planet13) 28.91)
	(= (slew_time Planet13 Planet7) 20.11)
	(= (slew_time Planet7 Planet13) 20.11)
	(= (slew_time Planet13 Phenomenon8) 80.68)
	(= (slew_time Phenomenon8 Planet13) 80.68)
	(= (slew_time Planet13 Planet9) 2.286)
	(= (slew_time Planet9 Planet13) 2.286)
	(= (slew_time Planet13 Star10) 44.79)
	(= (slew_time Star10 Planet13) 44.79)
	(= (slew_time Planet13 Star11) 26.35)
	(= (slew_time Star11 Planet13) 26.35)
	(= (slew_time Planet13 Phenomenon12) 32.87)
	(= (slew_time Phenomenon12 Planet13) 32.87)
	(= (slew_time Phenomenon14 Star0) 50.03)
	(= (slew_time Star0 Phenomenon14) 50.03)
	(= (slew_time Phenomenon14 GroundStation1) 26.04)
	(= (slew_time GroundStation1 Phenomenon14) 26.04)
	(= (slew_time Phenomenon14 Star2) 25.83)
	(= (slew_time Star2 Phenomenon14) 25.83)
	(= (slew_time Phenomenon14 GroundStation3) 10.6)
	(= (slew_time GroundStation3 Phenomenon14) 10.6)
	(= (slew_time Phenomenon14 Star4) 13.83)
	(= (slew_time Star4 Phenomenon14) 13.83)
	(= (slew_time Phenomenon14 Phenomenon5) 54.22)
	(= (slew_time Phenomenon5 Phenomenon14) 54.22)
	(= (slew_time Phenomenon14 Star6) 67.91)
	(= (slew_time Star6 Phenomenon14) 67.91)
	(= (slew_time Phenomenon14 Planet7) 36.64)
	(= (slew_time Planet7 Phenomenon14) 36.64)
	(= (slew_time Phenomenon14 Phenomenon8) 21.22)
	(= (slew_time Phenomenon8 Phenomenon14) 21.22)
	(= (slew_time Phenomenon14 Planet9) 47.68)
	(= (slew_time Planet9 Phenomenon14) 47.68)
	(= (slew_time Phenomenon14 Star10) 71.69)
	(= (slew_time Star10 Phenomenon14) 71.69)
	(= (slew_time Phenomenon14 Star11) 0.9785)
	(= (slew_time Star11 Phenomenon14) 0.9785)
	(= (slew_time Phenomenon14 Phenomenon12) 25.75)
	(= (slew_time Phenomenon12 Phenomenon14) 25.75)
	(= (slew_time Phenomenon14 Planet13) 8.862)
	(= (slew_time Planet13 Phenomenon14) 8.862)
	(= (slew_time Planet15 Star0) 73.01)
	(= (slew_time Star0 Planet15) 73.01)
	(= (slew_time Planet15 GroundStation1) 8.832)
	(= (slew_time GroundStation1 Planet15) 8.832)
	(= (slew_time Planet15 Star2) 7.682)
	(= (slew_time Star2 Planet15) 7.682)
	(= (slew_time Planet15 GroundStation3) 28.59)
	(= (slew_time GroundStation3 Planet15) 28.59)
	(= (slew_time Planet15 Star4) 40.8)
	(= (slew_time Star4 Planet15) 40.8)
	(= (slew_time Planet15 Phenomenon5) 14.67)
	(= (slew_time Phenomenon5 Planet15) 14.67)
	(= (slew_time Planet15 Star6) 59.59)
	(= (slew_time Star6 Planet15) 59.59)
	(= (slew_time Planet15 Planet7) 56)
	(= (slew_time Planet7 Planet15) 56)
	(= (slew_time Planet15 Phenomenon8) 50.52)
	(= (slew_time Phenomenon8 Planet15) 50.52)
	(= (slew_time Planet15 Planet9) 48.73)
	(= (slew_time Planet9 Planet15) 48.73)
	(= (slew_time Planet15 Star10) 21.82)
	(= (slew_time Star10 Planet15) 21.82)
	(= (slew_time Planet15 Star11) 12.2)
	(= (slew_time Star11 Planet15) 12.2)
	(= (slew_time Planet15 Phenomenon12) 9.557)
	(= (slew_time Phenomenon12 Planet15) 9.557)
	(= (slew_time Planet15 Planet13) 20.63)
	(= (slew_time Planet13 Planet15) 20.63)
	(= (slew_time Planet15 Phenomenon14) 71.99)
	(= (slew_time Phenomenon14 Planet15) 71.99)
	(= (slew_time Star16 Star0) 16.44)
	(= (slew_time Star0 Star16) 16.44)
	(= (slew_time Star16 GroundStation1) 28.51)
	(= (slew_time GroundStation1 Star16) 28.51)
	(= (slew_time Star16 Star2) 29.24)
	(= (slew_time Star2 Star16) 29.24)
	(= (slew_time Star16 GroundStation3) 26.9)
	(= (slew_time GroundStation3 Star16) 26.9)
	(= (slew_time Star16 Star4) 59.74)
	(= (slew_time Star4 Star16) 59.74)
	(= (slew_time Star16 Phenomenon5) 1.521)
	(= (slew_time Phenomenon5 Star16) 1.521)
	(= (slew_time Star16 Star6) 75.73)
	(= (slew_time Star6 Star16) 75.73)
	(= (slew_time Star16 Planet7) 74.98)
	(= (slew_time Planet7 Star16) 74.98)
	(= (slew_time Star16 Phenomenon8) 75.31)
	(= (slew_time Phenomenon8 Star16) 75.31)
	(= (slew_time Star16 Planet9) 4.766)
	(= (slew_time Planet9 Star16) 4.766)
	(= (slew_time Star16 Star10) 43.88)
	(= (slew_time Star10 Star16) 43.88)
	(= (slew_time Star16 Star11) 37.08)
	(= (slew_time Star11 Star16) 37.08)
	(= (slew_time Star16 Phenomenon12) 2.473)
	(= (slew_time Phenomenon12 Star16) 2.473)
	(= (slew_time Star16 Planet13) 5.998)
	(= (slew_time Planet13 Star16) 5.998)
	(= (slew_time Star16 Phenomenon14) 37.52)
	(= (slew_time Phenomenon14 Star16) 37.52)
	(= (slew_time Star16 Planet15) 1.547)
	(= (slew_time Planet15 Star16) 1.547)
	(= (slew_time Planet17 Star0) 2.732)
	(= (slew_time Star0 Planet17) 2.732)
	(= (slew_time Planet17 GroundStation1) 35.87)
	(= (slew_time GroundStation1 Planet17) 35.87)
	(= (slew_time Planet17 Star2) 13.07)
	(= (slew_time Star2 Planet17) 13.07)
	(= (slew_time Planet17 GroundStation3) 11.38)
	(= (slew_time GroundStation3 Planet17) 11.38)
	(= (slew_time Planet17 Star4) 77.1)
	(= (slew_time Star4 Planet17) 77.1)
	(= (slew_time Planet17 Phenomenon5) 35.59)
	(= (slew_time Phenomenon5 Planet17) 35.59)
	(= (slew_time Planet17 Star6) 30.97)
	(= (slew_time Star6 Planet17) 30.97)
	(= (slew_time Planet17 Planet7) 42.02)
	(= (slew_time Planet7 Planet17) 42.02)
	(= (slew_time Planet17 Phenomenon8) 22.98)
	(= (slew_time Phenomenon8 Planet17) 22.98)
	(= (slew_time Planet17 Planet9) 55.77)
	(= (slew_time Planet9 Planet17) 55.77)
	(= (slew_time Planet17 Star10) 26.81)
	(= (slew_time Star10 Planet17) 26.81)
	(= (slew_time Planet17 Star11) 13.38)
	(= (slew_time Star11 Planet17) 13.38)
	(= (slew_time Planet17 Phenomenon12) 54.64)
	(= (slew_time Phenomenon12 Planet17) 54.64)
	(= (slew_time Planet17 Planet13) 48.74)
	(= (slew_time Planet13 Planet17) 48.74)
	(= (slew_time Planet17 Phenomenon14) 63.6)
	(= (slew_time Phenomenon14 Planet17) 63.6)
	(= (slew_time Planet17 Planet15) 69.63)
	(= (slew_time Planet15 Planet17) 69.63)
	(= (slew_time Planet17 Star16) 40.4)
	(= (slew_time Star16 Planet17) 40.4)
	(= (slew_time Planet18 Star0) 84.48)
	(= (slew_time Star0 Planet18) 84.48)
	(= (slew_time Planet18 GroundStation1) 37.36)
	(= (slew_time GroundStation1 Planet18) 37.36)
	(= (slew_time Planet18 Star2) 16.07)
	(= (slew_time Star2 Planet18) 16.07)
	(= (slew_time Planet18 GroundStation3) 13.88)
	(= (slew_time GroundStation3 Planet18) 13.88)
	(= (slew_time Planet18 Star4) 25.76)
	(= (slew_time Star4 Planet18) 25.76)
	(= (slew_time Planet18 Phenomenon5) 16.27)
	(= (slew_time Phenomenon5 Planet18) 16.27)
	(= (slew_time Planet18 Star6) 6.23)
	(= (slew_time Star6 Planet18) 6.23)
	(= (slew_time Planet18 Planet7) 75.76)
	(= (slew_time Planet7 Planet18) 75.76)
	(= (slew_time Planet18 Phenomenon8) 42.09)
	(= (slew_time Phenomenon8 Planet18) 42.09)
	(= (slew_time Planet18 Planet9) 40.85)
	(= (slew_time Planet9 Planet18) 40.85)
	(= (slew_time Planet18 Star10) 20.5)
	(= (slew_time Star10 Planet18) 20.5)
	(= (slew_time Planet18 Star11) 65.11)
	(= (slew_time Star11 Planet18) 65.11)
	(= (slew_time Planet18 Phenomenon12) 78.13)
	(= (slew_time Phenomenon12 Planet18) 78.13)
	(= (slew_time Planet18 Planet13) 59.75)
	(= (slew_time Planet13 Planet18) 59.75)
	(= (slew_time Planet18 Phenomenon14) 12.65)
	(= (slew_time Phenomenon14 Planet18) 12.65)
	(= (slew_time Planet18 Planet15) 81.21)
	(= (slew_time Planet15 Planet18) 81.21)
	(= (slew_time Planet18 Star16) 81.14)
	(= (slew_time Star16 Planet18) 81.14)
	(= (slew_time Planet18 Planet17) 43.64)
	(= (slew_time Planet17 Planet18) 43.64)
	(= (slew_time Phenomenon19 Star0) 12.19)
	(= (slew_time Star0 Phenomenon19) 12.19)
	(= (slew_time Phenomenon19 GroundStation1) 13.67)
	(= (slew_time GroundStation1 Phenomenon19) 13.67)
	(= (slew_time Phenomenon19 Star2) 72.49)
	(= (slew_time Star2 Phenomenon19) 72.49)
	(= (slew_time Phenomenon19 GroundStation3) 48.89)
	(= (slew_time GroundStation3 Phenomenon19) 48.89)
	(= (slew_time Phenomenon19 Star4) 5.036)
	(= (slew_time Star4 Phenomenon19) 5.036)
	(= (slew_time Phenomenon19 Phenomenon5) 62.71)
	(= (slew_time Phenomenon5 Phenomenon19) 62.71)
	(= (slew_time Phenomenon19 Star6) 49.11)
	(= (slew_time Star6 Phenomenon19) 49.11)
	(= (slew_time Phenomenon19 Planet7) 16.61)
	(= (slew_time Planet7 Phenomenon19) 16.61)
	(= (slew_time Phenomenon19 Phenomenon8) 36.1)
	(= (slew_time Phenomenon8 Phenomenon19) 36.1)
	(= (slew_time Phenomenon19 Planet9) 37.23)
	(= (slew_time Planet9 Phenomenon19) 37.23)
	(= (slew_time Phenomenon19 Star10) 53.84)
	(= (slew_time Star10 Phenomenon19) 53.84)
	(= (slew_time Phenomenon19 Star11) 53.56)
	(= (slew_time Star11 Phenomenon19) 53.56)
	(= (slew_time Phenomenon19 Phenomenon12) 8.504)
	(= (slew_time Phenomenon12 Phenomenon19) 8.504)
	(= (slew_time Phenomenon19 Planet13) 1.649)
	(= (slew_time Planet13 Phenomenon19) 1.649)
	(= (slew_time Phenomenon19 Phenomenon14) 81.34)
	(= (slew_time Phenomenon14 Phenomenon19) 81.34)
	(= (slew_time Phenomenon19 Planet15) 6.363)
	(= (slew_time Planet15 Phenomenon19) 6.363)
	(= (slew_time Phenomenon19 Star16) 79.6)
	(= (slew_time Star16 Phenomenon19) 79.6)
	(= (slew_time Phenomenon19 Planet17) 27.59)
	(= (slew_time Planet17 Phenomenon19) 27.59)
	(= (slew_time Phenomenon19 Planet18) 6.545)
	(= (slew_time Planet18 Phenomenon19) 6.545)
	(= (slew_time Star20 Star0) 12.36)
	(= (slew_time Star0 Star20) 12.36)
	(= (slew_time Star20 GroundStation1) 74.9)
	(= (slew_time GroundStation1 Star20) 74.9)
	(= (slew_time Star20 Star2) 9.045)
	(= (slew_time Star2 Star20) 9.045)
	(= (slew_time Star20 GroundStation3) 68.43)
	(= (slew_time GroundStation3 Star20) 68.43)
	(= (slew_time Star20 Star4) 48.94)
	(= (slew_time Star4 Star20) 48.94)
	(= (slew_time Star20 Phenomenon5) 11.82)
	(= (slew_time Phenomenon5 Star20) 11.82)
	(= (slew_time Star20 Star6) 52.69)
	(= (slew_time Star6 Star20) 52.69)
	(= (slew_time Star20 Planet7) 62.43)
	(= (slew_time Planet7 Star20) 62.43)
	(= (slew_time Star20 Phenomenon8) 75.83)
	(= (slew_time Phenomenon8 Star20) 75.83)
	(= (slew_time Star20 Planet9) 42.41)
	(= (slew_time Planet9 Star20) 42.41)
	(= (slew_time Star20 Star10) 53.09)
	(= (slew_time Star10 Star20) 53.09)
	(= (slew_time Star20 Star11) 68.55)
	(= (slew_time Star11 Star20) 68.55)
	(= (slew_time Star20 Phenomenon12) 89.8)
	(= (slew_time Phenomenon12 Star20) 89.8)
	(= (slew_time Star20 Planet13) 30.32)
	(= (slew_time Planet13 Star20) 30.32)
	(= (slew_time Star20 Phenomenon14) 7.329)
	(= (slew_time Phenomenon14 Star20) 7.329)
	(= (slew_time Star20 Planet15) 45.23)
	(= (slew_time Planet15 Star20) 45.23)
	(= (slew_time Star20 Star16) 57.75)
	(= (slew_time Star16 Star20) 57.75)
	(= (slew_time Star20 Planet17) 30.09)
	(= (slew_time Planet17 Star20) 30.09)
	(= (slew_time Star20 Planet18) 37.29)
	(= (slew_time Planet18 Star20) 37.29)
	(= (slew_time Star20 Phenomenon19) 83.52)
	(= (slew_time Phenomenon19 Star20) 83.52)
	(= (slew_time Phenomenon21 Star0) 81.07)
	(= (slew_time Star0 Phenomenon21) 81.07)
	(= (slew_time Phenomenon21 GroundStation1) 34.47)
	(= (slew_time GroundStation1 Phenomenon21) 34.47)
	(= (slew_time Phenomenon21 Star2) 53.57)
	(= (slew_time Star2 Phenomenon21) 53.57)
	(= (slew_time Phenomenon21 GroundStation3) 84.1)
	(= (slew_time GroundStation3 Phenomenon21) 84.1)
	(= (slew_time Phenomenon21 Star4) 7.454)
	(= (slew_time Star4 Phenomenon21) 7.454)
	(= (slew_time Phenomenon21 Phenomenon5) 11.78)
	(= (slew_time Phenomenon5 Phenomenon21) 11.78)
	(= (slew_time Phenomenon21 Star6) 22.36)
	(= (slew_time Star6 Phenomenon21) 22.36)
	(= (slew_time Phenomenon21 Planet7) 36.06)
	(= (slew_time Planet7 Phenomenon21) 36.06)
	(= (slew_time Phenomenon21 Phenomenon8) 13.86)
	(= (slew_time Phenomenon8 Phenomenon21) 13.86)
	(= (slew_time Phenomenon21 Planet9) 56.5)
	(= (slew_time Planet9 Phenomenon21) 56.5)
	(= (slew_time Phenomenon21 Star10) 30.21)
	(= (slew_time Star10 Phenomenon21) 30.21)
	(= (slew_time Phenomenon21 Star11) 9.811)
	(= (slew_time Star11 Phenomenon21) 9.811)
	(= (slew_time Phenomenon21 Phenomenon12) 50.84)
	(= (slew_time Phenomenon12 Phenomenon21) 50.84)
	(= (slew_time Phenomenon21 Planet13) 66.48)
	(= (slew_time Planet13 Phenomenon21) 66.48)
	(= (slew_time Phenomenon21 Phenomenon14) 49.31)
	(= (slew_time Phenomenon14 Phenomenon21) 49.31)
	(= (slew_time Phenomenon21 Planet15) 53.39)
	(= (slew_time Planet15 Phenomenon21) 53.39)
	(= (slew_time Phenomenon21 Star16) 58.51)
	(= (slew_time Star16 Phenomenon21) 58.51)
	(= (slew_time Phenomenon21 Planet17) 18.86)
	(= (slew_time Planet17 Phenomenon21) 18.86)
	(= (slew_time Phenomenon21 Planet18) 8.213)
	(= (slew_time Planet18 Phenomenon21) 8.213)
	(= (slew_time Phenomenon21 Phenomenon19) 3.407)
	(= (slew_time Phenomenon19 Phenomenon21) 3.407)
	(= (slew_time Phenomenon21 Star20) 29.3)
	(= (slew_time Star20 Phenomenon21) 29.3)
	(= (slew_time Planet22 Star0) 27.58)
	(= (slew_time Star0 Planet22) 27.58)
	(= (slew_time Planet22 GroundStation1) 24.07)
	(= (slew_time GroundStation1 Planet22) 24.07)
	(= (slew_time Planet22 Star2) 69.6)
	(= (slew_time Star2 Planet22) 69.6)
	(= (slew_time Planet22 GroundStation3) 0.09881)
	(= (slew_time GroundStation3 Planet22) 0.09881)
	(= (slew_time Planet22 Star4) 60.62)
	(= (slew_time Star4 Planet22) 60.62)
	(= (slew_time Planet22 Phenomenon5) 8.583)
	(= (slew_time Phenomenon5 Planet22) 8.583)
	(= (slew_time Planet22 Star6) 23.98)
	(= (slew_time Star6 Planet22) 23.98)
	(= (slew_time Planet22 Planet7) 44.35)
	(= (slew_time Planet7 Planet22) 44.35)
	(= (slew_time Planet22 Phenomenon8) 27.67)
	(= (slew_time Phenomenon8 Planet22) 27.67)
	(= (slew_time Planet22 Planet9) 66.45)
	(= (slew_time Planet9 Planet22) 66.45)
	(= (slew_time Planet22 Star10) 3.782)
	(= (slew_time Star10 Planet22) 3.782)
	(= (slew_time Planet22 Star11) 20.37)
	(= (slew_time Star11 Planet22) 20.37)
	(= (slew_time Planet22 Phenomenon12) 5.873)
	(= (slew_time Phenomenon12 Planet22) 5.873)
	(= (slew_time Planet22 Planet13) 22.44)
	(= (slew_time Planet13 Planet22) 22.44)
	(= (slew_time Planet22 Phenomenon14) 48.07)
	(= (slew_time Phenomenon14 Planet22) 48.07)
	(= (slew_time Planet22 Planet15) 57.6)
	(= (slew_time Planet15 Planet22) 57.6)
	(= (slew_time Planet22 Star16) 73.17)
	(= (slew_time Star16 Planet22) 73.17)
	(= (slew_time Planet22 Planet17) 60.49)
	(= (slew_time Planet17 Planet22) 60.49)
	(= (slew_time Planet22 Planet18) 47.23)
	(= (slew_time Planet18 Planet22) 47.23)
	(= (slew_time Planet22 Phenomenon19) 84.88)
	(= (slew_time Phenomenon19 Planet22) 84.88)
	(= (slew_time Planet22 Star20) 47.92)
	(= (slew_time Star20 Planet22) 47.92)
	(= (slew_time Planet22 Phenomenon21) 28.12)
	(= (slew_time Phenomenon21 Planet22) 28.12)
	(= (slew_time Star23 Star0) 53.49)
	(= (slew_time Star0 Star23) 53.49)
	(= (slew_time Star23 GroundStation1) 24.93)
	(= (slew_time GroundStation1 Star23) 24.93)
	(= (slew_time Star23 Star2) 40.89)
	(= (slew_time Star2 Star23) 40.89)
	(= (slew_time Star23 GroundStation3) 6.513)
	(= (slew_time GroundStation3 Star23) 6.513)
	(= (slew_time Star23 Star4) 3.959)
	(= (slew_time Star4 Star23) 3.959)
	(= (slew_time Star23 Phenomenon5) 59.58)
	(= (slew_time Phenomenon5 Star23) 59.58)
	(= (slew_time Star23 Star6) 5.951)
	(= (slew_time Star6 Star23) 5.951)
	(= (slew_time Star23 Planet7) 16.31)
	(= (slew_time Planet7 Star23) 16.31)
	(= (slew_time Star23 Phenomenon8) 13.74)
	(= (slew_time Phenomenon8 Star23) 13.74)
	(= (slew_time Star23 Planet9) 15.04)
	(= (slew_time Planet9 Star23) 15.04)
	(= (slew_time Star23 Star10) 11.55)
	(= (slew_time Star10 Star23) 11.55)
	(= (slew_time Star23 Star11) 41.12)
	(= (slew_time Star11 Star23) 41.12)
	(= (slew_time Star23 Phenomenon12) 11.28)
	(= (slew_time Phenomenon12 Star23) 11.28)
	(= (slew_time Star23 Planet13) 12.22)
	(= (slew_time Planet13 Star23) 12.22)
	(= (slew_time Star23 Phenomenon14) 1.274)
	(= (slew_time Phenomenon14 Star23) 1.274)
	(= (slew_time Star23 Planet15) 3.587)
	(= (slew_time Planet15 Star23) 3.587)
	(= (slew_time Star23 Star16) 50.05)
	(= (slew_time Star16 Star23) 50.05)
	(= (slew_time Star23 Planet17) 12.24)
	(= (slew_time Planet17 Star23) 12.24)
	(= (slew_time Star23 Planet18) 35.39)
	(= (slew_time Planet18 Star23) 35.39)
	(= (slew_time Star23 Phenomenon19) 35.4)
	(= (slew_time Phenomenon19 Star23) 35.4)
	(= (slew_time Star23 Star20) 35.12)
	(= (slew_time Star20 Star23) 35.12)
	(= (slew_time Star23 Phenomenon21) 51.15)
	(= (slew_time Phenomenon21 Star23) 51.15)
	(= (slew_time Star23 Planet22) 21.74)
	(= (slew_time Planet22 Star23) 21.74)
	(= (slew_time Star24 Star0) 71.47)
	(= (slew_time Star0 Star24) 71.47)
	(= (slew_time Star24 GroundStation1) 6.542)
	(= (slew_time GroundStation1 Star24) 6.542)
	(= (slew_time Star24 Star2) 23.7)
	(= (slew_time Star2 Star24) 23.7)
	(= (slew_time Star24 GroundStation3) 14.49)
	(= (slew_time GroundStation3 Star24) 14.49)
	(= (slew_time Star24 Star4) 80.2)
	(= (slew_time Star4 Star24) 80.2)
	(= (slew_time Star24 Phenomenon5) 7.324)
	(= (slew_time Phenomenon5 Star24) 7.324)
	(= (slew_time Star24 Star6) 23.99)
	(= (slew_time Star6 Star24) 23.99)
	(= (slew_time Star24 Planet7) 6.963)
	(= (slew_time Planet7 Star24) 6.963)
	(= (slew_time Star24 Phenomenon8) 91.12)
	(= (slew_time Phenomenon8 Star24) 91.12)
	(= (slew_time Star24 Planet9) 43.07)
	(= (slew_time Planet9 Star24) 43.07)
	(= (slew_time Star24 Star10) 16.35)
	(= (slew_time Star10 Star24) 16.35)
	(= (slew_time Star24 Star11) 1.509)
	(= (slew_time Star11 Star24) 1.509)
	(= (slew_time Star24 Phenomenon12) 12.16)
	(= (slew_time Phenomenon12 Star24) 12.16)
	(= (slew_time Star24 Planet13) 18.36)
	(= (slew_time Planet13 Star24) 18.36)
	(= (slew_time Star24 Phenomenon14) 51.15)
	(= (slew_time Phenomenon14 Star24) 51.15)
	(= (slew_time Star24 Planet15) 7.684)
	(= (slew_time Planet15 Star24) 7.684)
	(= (slew_time Star24 Star16) 3.95)
	(= (slew_time Star16 Star24) 3.95)
	(= (slew_time Star24 Planet17) 27.26)
	(= (slew_time Planet17 Star24) 27.26)
	(= (slew_time Star24 Planet18) 29.83)
	(= (slew_time Planet18 Star24) 29.83)
	(= (slew_time Star24 Phenomenon19) 37.8)
	(= (slew_time Phenomenon19 Star24) 37.8)
	(= (slew_time Star24 Star20) 16.9)
	(= (slew_time Star20 Star24) 16.9)
	(= (slew_time Star24 Phenomenon21) 4.741)
	(= (slew_time Phenomenon21 Star24) 4.741)
	(= (slew_time Star24 Planet22) 35.77)
	(= (slew_time Planet22 Star24) 35.77)
	(= (slew_time Star24 Star23) 30.04)
	(= (slew_time Star23 Star24) 30.04)
)
(:goal (and
	(pointing satellite1 Phenomenon19)
	(have_image Phenomenon5 thermograph8)
	(have_image Phenomenon5 spectrograph0)
	(have_image Phenomenon5 image3)
	(have_image Star6 spectrograph0)
	(have_image Star6 spectrograph6)
	(have_image Star6 image3)
	(have_image Planet7 spectrograph6)
	(have_image Planet7 infrared5)
	(have_image Planet7 image2)
	(have_image Phenomenon8 spectrograph6)
	(have_image Phenomenon8 infrared5)
	(have_image Phenomenon8 thermograph7)
	(have_image Planet9 spectrograph6)
	(have_image Star10 spectrograph6)
	(have_image Star11 thermograph7)
	(have_image Star11 image4)
	(have_image Star11 image3)
	(have_image Phenomenon12 image4)
	(have_image Planet13 infrared5)
	(have_image Planet13 spectrograph6)
	(have_image Planet13 image2)
	(have_image Phenomenon14 thermograph7)
	(have_image Planet15 image3)
	(have_image Star16 image3)
	(have_image Star16 image4)
	(have_image Planet18 infrared9)
	(have_image Planet18 infrared5)
	(have_image Planet18 thermograph7)
	(have_image Phenomenon19 image2)
	(have_image Phenomenon19 image4)
	(have_image Star20 spectrograph0)
	(have_image Phenomenon21 image4)
	(have_image Phenomenon21 image2)
	(have_image Phenomenon21 thermograph7)
	(have_image Planet22 image2)
	(have_image Planet22 spectrograph6)
	(have_image Star23 image2)
	(have_image Star23 infrared9)
	(have_image Star24 spectrograph6)
	(have_image Star24 infrared5)
))
(:metric minimize (total-time))

)