A simple random sample of 10 observations was taken from a large normal population. The sample mean and the sample standard deviation were determined to be 80 and 12, respectively. A 95% population mean confidence interval is approximately ?
a) 71.4 to 88.6
b) 72.6 to 87.4
c) impossible to determine
d) 77.9 to 89.9