6.39/9.11	c found falsified original clause
6.39/10.93	unsat
