Put f(X)=X3+5X−12. Any root in Qp is a p-adic integer: if its valuation were negative, X3 would be the unique term of least valuation.
For p=2, reduction modulo two has roots zero and one. The root zero is simple because f′(0)=5 is odd, so it lifts uniquely. An odd integer x satisfies x2≡1(mod8), and hence