n=10 D=9 orientable=False: UNSAT (1721.8s), 9150 vars, 111223 clauses, solver cd19
n=10 D=9 orientable=True: UNSAT (1592.2s), 9270 vars, 113743 clauses, solver cd19
