6.58/6.96	c found falsified original clause
6.58/8.62	unsat
