247(2+sqrt(2))/128