0.69/0.77	c found falsified original clause
0.69/0.99	unsat
