solve x x %2B y y %2B z z - x z - y z %3D%3D 1 over the integers