Assume that the random sample of size 20 is taken from normal distribution with unknown mean and known variance equal to 1, and the mean is found to be x ? = 10. A normal distribution was used as the prior for the mean, and it was found that the posterior mean was 15 and the posterior standard deviation was 0.1. What were the mean and standard deviation of the prior?