RESULT UNSAT box=(2, 2, 4) iterations=1 lazy_clauses=0 eager=42 vars=1055 time=0.9s
RESULT UNSAT box=(2, 2, 5) iterations=3 lazy_clauses=16 eager=72 vars=1721 time=19.2s
RESULT UNSAT box=(2, 2, 6) iterations=7 lazy_clauses=52 eager=102 vars=2549 time=573.5s
