6.68/7.64	c found falsified original clause
6.68/9.36	unsat
