symmetry c3inv equivalences: 678
vertex cap |V| <= 61
RESULT UNSAT box=(4, 4, 4) skipdir=-1 induced=False iterations=21 lazy_clauses=825 time=8.8s
