sqrt(8.5^2-4^2)