(17 + 12 * sqrt(2))^7