solve x^3+y^3-xy^2==1 over integers