7.39/10.73	c found falsified original clause
12.58/12.90	unsat
