0.48/0.51	c found falsified original clause
0.48/0.59	unsat
