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