7.67/10.83	c found falsified original clause
12.89/12.96	unsat
