0.48/0.55	c found falsified original clause
0.59/0.64	unsat
