min: x + y;
bin: b1, b2, b3;
1 <= x <= 42;
constraint_num1: 5 b1 + 3b2 + x <= 7;
4 y + b2 - 3 b3 <= 2;
constraint_num2: -4 b1 + b2 - 3 z <= -2;