8.23/9.67	c found falsified original clause
8.23/10.42	unsat
