The standard deviation of the sample mean (called the "standard error") is

population standard deviation / sqrt(sample size)

= 12.1 / sqrt(16)

= 3.025

So the probability that the sample mean will be less than 45 is given by the cdf of the Normal distribution with mean = 57.7 and sd = standard error = 3.025, at 45: