cc : Size=1, Index=None, Active=True
    Key  : Arg0           : Arg1                    : Active
    None : -1 * x1  <=  y : 1 - 3*x3  <=  x1 + 2*x2 :   True
