(1+isqrt(3))^7