0.56/0.79	c found falsified original clause
0.77/0.89	unsat
