Question 823202
x = 16 sqrt(2)-3