Solve{x + y - x*y == c1, x + z - x*z == c2, a*y + b*z = c3,x,y,z}