A bus company official wanted to estimate the mean time for the trip between two cities. A random sample of such trips gave a mean of 152 minutes and a standard deviation of 12 minutes. Construct a 98% confidence interval for the population mean time.