7.97/9.63	c found falsified original clause
7.97/10.02	unsat
