8.28/9.31	c found falsified original clause
8.28/12.39	unsat
