x^3 +x^2(1+sqrt(2)) + x(8-sqrt(2)) -8sqrt(2) = 0