amb_space 2
inequalities 1
0 0