solve -x^2 - 3 y^2 + 5 z^2 = 0 over the integers