tom run cross country. he runs 5 miles in 35 minutes. he runs 20 miles in 140 minutes if he keeps the same pace how long will it take him to run 15 miles?