6.88/7.73	c found falsified original clause
6.88/9.54	unsat
