Use the given degree of confidence and sample data to construct a confidence interval for the population mean u. Assume that the population has a normal distribution.

The football coach randomly selected ten players and timed how long each player took to perform a certain drill. The times (in minutes) were:

7.1 10.7 9.4 8.6 11.4

7.1 6.6 11.2 10.0 12.3

Determine a 95% confidence interval for the mean time for all players.