6.18/7.93	c found falsified original clause
6.18/10.13	unsat
