RESULT SAT mode=axes01 box=(3, 2, 2) it=2 t=0.0
[[[0, 0, 0], 0], [[0, 0, 0], 1], [[0, 0, 0], 2], [[0, 0, 1], 0], [[0, 0, 1], 1], [[0, 1, 0], 0], [[0, 1, 0], 2], [[0, 1, 1], 0], [[1, 0, 0], 0], [[1, 0, 0], 2], [[1, 0, 1], 0], [[1, 0, 1], 1], [[1, 1, 0], 0], [[1, 1, 0], 2], [[1, 1, 1], 0], [[2, 0, 0], 1], [[2, 0, 0], 2], [[2, 0, 1], 1], [[2, 1, 0], 2]]
RESULT UNSAT mode=int box=(3, 2, 2) it=5 t=0.0
RESULT UNSAT mode=half box=(3, 2, 2) it=3 t=0.0
