0.70/0.82	c found falsified original clause
0.85/0.87	unsat
