solve 0=x^2-y^2, 0=x+2*y+1