6.98/9.97	c found falsified original clause
11.67/11.79	unsat
