* #variable= 1 #constraint= 1
* This is invalid according to the grammer of http://www.cril.univ-artois.fr/PB11/format.pdf ,
* but we relax the grammar to allow it.
min: +2 x1 +1 ;
+2 >= +1;