How do you simplify (5[sqrt3]) / [sqrt12]?