x^2-y=3, 2x-y=-12