sqrt(3)*sqrt(12)