1 3 0 0 1 equations 2 3 -3 -2 1 2 -4 0 inequalities 2 4 3 6 9 3 2 0 0 5 congruences