7.13/7.16	c found falsified original clause
7.96/8.81	unsat
