7/sqrt(3)