RESULT UNSAT mode=int box=(4, 3, 2) it=66 t=255.9
RESULT UNSAT mode=half box=(4, 3, 2) it=33 t=437.6
RESULT UNSAT mode=int box=(5, 2, 2) it=22 t=3.8
RESULT UNSAT mode=half box=(5, 2, 2) it=11 t=4.4
