5.32/6.61	c found falsified original clause
9.16/11.52	unsat
