0.98/1.82	c found falsified original clause
0.98/2.03	unsat
