[("GEQ", [(3,0),(3,1)], 1), ("LEQ", [(3,0),(3,1)], 2)]
[0,1]
[0,1]

Only the first three lines are parsed.
1st line: The constraints in this file becomes "1 <= 3 * x_0 + 3 * x_1" and "3 * x_0 + 3 * x_1 <= 2"
2nd line: Vars which must be integers
3rd line: If there's a satisfying assignment, show the value of the assignment of these variables
