6.88/8.22	c found falsified original clause
6.88/9.94	unsat
