0.69/0.80	c found falsified original clause
0.79/0.84	unsat
