John hikes about 3 miles every hour but when it's hot he swims for half of hour after every 4 miles how long does it takes him to hike 9 miles