Question 836097
Use Z test since population standard deviation is known. If you need further help then contact me. Cheers!