6.49/7.30	c found falsified original clause
6.49/9.20	unsat
