solve(y=(4/9)*(2*x+17))&(y^2-x^2=119)for x,y real