seeing 95.44 I ASSUME you are assuming the pop st deviation is 16 and that you are sampling from a normal population

Hence use

It's weird that someone woudl know the population variance, but not the mean.

If you estimated the pop st deviation with s, you would use a t with 8 degrees of freedom.