* #variable= 4 #constraint= 4
* A handwritten OPB sat instance for basic testing
5 x1 -3 x2 >= 4;
5 x3 -3 x4 >= 2;
5 ~x4 >= 4;
3 ~x1 >= 2;