(y=13-3*x)&(x^2-48=-8*x-4*y)