var x1 >= 0;
var x2 >= 0;

maximize z: 4*x1 + 3*x2;

s.t. C1: (1/1500)*x1 + (1/1200)*x2 <= 1;
s.t. C2: (1/800)*x1 + (1/700)*x2 <= 1;