John likes to hike during the summer. He can usually hike about 3 miles every hour, but when it's really hot, he swims in mountain lakes for a half-hour after every 4 miles. How long does it take him to hike 9 miles?