6.39/7.57	c found falsified original clause
6.39/9.36	unsat
