12.18/13.80	c found falsified original clause
12.18/13.99	unsat
