var x1 >= 0, integer;
var x2 >= 0, integer;

maximize objective: 4*x1 - x2;

subject to c1: 7*x1 - 2*x2 <= 14;
subject to c2: x2 <= 3;
subject to c3: 2*x1 - 2*x2 <= 3;