max: x1 - 2 x2 + x3; y1: 2 x1 - x2 + x3 <= 0; y2: 3 x1 +x2 + x3 <= 0; y3: -5 x1 +3 x2 - 2x3 <= 0; /* note default is non-negative variables */