amb_space 2
inhom_congruences 2
1 2 -3 7
2 2 -4 13
signs
-1 -1