6.68/8.10	c found falsified original clause
6.68/9.84	unsat
