0.39/0.51	c found falsified original clause
0.54/0.55	unsat
