K_(1,6), b=2, N=13 (symmetry-broken, cadical195): vars=72930 clauses=444733 -> UNSAT (413.1s)
