x^3+2x-7 = 0 (mod 5^3)