(2-sqrt(3))^12