6.89/10.32	c found falsified original clause
12.76/12.82	unsat
