0.18/0.80	c found falsified original clause
0.18/1.04	unsat
