0.68/0.82	c found falsified original clause
0.68/0.86	unsat
