solve x3−12x+2 = 0