sqrt(3)