* #variable= 5 #constraint= 4 #product= 5 sizeproduct= 13 * * comments * * min: 1 x2 x3 -1 ~x3 ; 1 x1 +4 x1 ~x2 -2 ~x5 >=2; -1 x1 +4 x2 -2 x5 >= 3; * a big number 12345678901234567890 x4 +4 x3 >= 10; 2 x2 x3 +3 x4 ~x5 +2 ~x1 x2 +3 ~x1 x2 x3 ~x4 ~x5 = 5 ; * the end