solve x x + y y + z z - x z - y z == 1 over the integers