m.Equation(x1 + x2 + x3 == 5)
m.Equation(x2 + x3 <= 4)