6.08/6.18	c found falsified original clause
6.80/7.86	unsat
