sqrt(12)/sqrt(3)