x^3-12x+17=0