0.69/0.74	c found falsified original clause
0.69/0.89	unsat
