0.74/0.80	c found falsified original clause
0.74/0.86	unsat
