0.28/1.65	c found falsified original clause
0.28/1.70	unsat
