How do you divide 1/sqrt(2)12?