solve (2*sqrt(2) - x)^2 = 17-12*sqrt(2)