Let $A$ be a commutative local ring, with unique maximal ideal $\mathfrak{m}$, and residue field $k:=A/\mathfrak{m}$. Let $M$ be a faithful, finitely generated $A$-module.
If $M/\mathfrak{m}M$ is 2-dimensional over $k$, is $M$ necessarily free over $A$?