0.18/1.70	c found falsified original clause
0.18/1.78	unsat
