6.88/8.14	c found falsified original clause
6.88/9.82	unsat
