Tom K. answered 06/28/20
MS in Statistics With 10+ Years as a Practicing Statistician and Tutor
Remember that the standard error is the standard deviation / sqrt(n).
In Excel, then, we can solve this using
=NORM.INV(9%,12.5,2.4/SQRT(3))
You get 10.6421953289159, which rounds to 10.6