0.40/0.53	c found falsified original clause
0.52/0.59	unsat
