symmetry c3inv equivalences: 678
RESULT UNSAT box=(4, 4, 4) skipdir=-1 induced=True iterations=5 lazy_clauses=288 time=0.2s
finished
