A random sample of 85 supervisors revealed that they worked an average of 6.5 years before being promoted. The population standard deviation was 1.7 years. Using the 95% level of confidence, what is the confidence interval for the population mean