7.58/9.19	c found falsified original clause
7.58/11.20	unsat
