7.08/7.73	c found falsified original clause
7.08/9.52	unsat
