6.78/7.41	c found falsified original clause
6.78/8.97	unsat
