0.69/0.85	c found falsified original clause
0.84/0.89	unsat
