(9+5√12)^2