10/sqrt(2)