sqrt(12)*sqrt(3)