6.56/7.59	c found falsified original clause
6.56/8.01	unsat
