7.58/10.89	c found falsified original clause
12.60/12.78	unsat
