0.59/0.63	c found falsified original clause
0.69/0.70	unsat
