Latent Fair-Value Update

A latent scalar state has prior $x\sim N(-1,16)$. You observe $y=3$ through $y=x+\varepsilon$ with $\varepsilon\sim N(0,9)$. Compute the Kalman gain, posterior mean, and posterior variance.