6.88/8.70	c found falsified original clause
6.88/10.44	unsat
