6.88/9.12	c found falsified original clause
6.88/10.84	unsat
