6+3*sqrt(2)*(5-2*sqrt(2))