How do you divide 18 / sqrt 3?