9.88/10.33	c found falsified original clause
9.88/12.82	unsat
