(xy)^2-2(x+y)=z^2, x>0, y>0