6.68/7.80	c found falsified original clause
6.68/9.68	unsat
