8.23/9.28	c found falsified original clause
8.23/9.63	unsat
