6.78/9.14	c found falsified original clause
6.78/10.87	unsat
