0.69/0.72	c found falsified original clause
0.69/0.82	unsat
