But 9 ≡ 1 mod 8, so perhaps only solutions ≡ 1 mod 8?