RESULT UNSAT box=(2, 2, 2) iterations=1 lazy_clauses=0 eager=0 vars=209 time=0.0s
RESULT UNSAT box=(2, 2, 3) iterations=1 lazy_clauses=0 eager=12 vars=551 time=0.0s
RESULT UNSAT box=(2, 3, 3) iterations=1 lazy_clauses=0 eager=92 vars=1481 time=2.8s
