6.08/6.18	c found falsified original clause
6.60/7.66	unsat
