\ mini.lp m 3 n 2 zstar 13 with x1=2 x2=3
maximize
 5 x1 +   x2
subject to
-  x1 + 2 x2 <= 4
   x1 -   x2 <= 1
 4 x1 +   x2 <= 12
end