The football coach randomly selected ten players and timed how long each player took to perform a certain drill. The times (in minutes) were: 13.2, 5.1, 7.5, 8.0, 12.7, 7.6, 13.8, 14.5, 7.7, and 10.5. Determine a 95 percent confidence interval for the mean time for all players.
O 12.40 < μ < 7.72
O 7.82 < μ < 12.30
O 7.72 < μ < 12.40
O 12.30 < μ < 7.82