6.78/7.01	c found falsified original clause
6.78/8.62	unsat
