3*cot(30deg)