sqrt(10)*7/sqrt(17)