0.67/0.75	c found falsified original clause
0.78/0.83	unsat
