solve (x^2 + x y + y^2 = 13) over Z