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