7.77/7.83	c found falsified original clause
7.97/9.53	unsat
