6.78/9.22	c found falsified original clause
6.78/11.41	unsat
