6.78/7.22	c found falsified original clause
6.78/8.88	unsat
