solve (x^2+y^2-4x-6y-12=0, x=(4y+19)/3)