0.59/0.65	c found falsified original clause
0.80/0.82	unsat
