6.98/7.81	c found falsified original clause
6.98/9.66	unsat
