7.78/8.40	c found falsified original clause
7.78/10.08	unsat
