8.37/11.13	c found falsified original clause
13.26/13.47	unsat
