7.47/10.18	c found falsified original clause
7.47/12.26	unsat
