0.79/0.85	c found falsified original clause
0.79/0.97	unsat
