3 3
 1  0 -1
 0  1 -1
-1 -1  3
inhom_inequalities
1 2
1 1
grading