Signal Extraction from One Noisy Print

A latent scalar state has prior $x\sim N(10,4)$. You observe $y=13$ through $y=x+\varepsilon$ with $\varepsilon\sim N(0,5)$. Compute the Kalman gain, posterior mean, and posterior variance.