eager region clauses: 420  symmetry-breaking clauses: 7344  total: 17122
RESULT UNSAT (eager + lex-leader SB, complete model) box=(3, 3, 3) time=273.2s
