7.37/8.79	c found falsified original clause
7.37/9.13	unsat
