7.78/7.85	c found falsified original clause
7.78/9.72	unsat
