maximize(2x1+x2), x1+x2<=5, -x1+x2<=0, 6x1+2x2<=21, x1>=0, x2>=0