6.59/6.62	c found falsified original clause
6.69/8.42	unsat
