x1+x2+x3=11 x1>=2 x2