7.68/9.14	c found falsified original clause
7.68/9.60	unsat
