An IT technician recorded the time in minutes per user in a random sample of 64 students on social media on the campus WIFI network. The resulting 99% confidence interval for the population mean was (157.6 min, 182.8 min). What is the sample standard deviation used to calculate the given interval? Round your answer to the nearest whole number (integer).