7.68/9.97	c found falsified original clause
7.68/10.27	unsat
