6.98/8.20	c found falsified original clause
6.98/10.39	unsat
