6.58/6.65	c found falsified original clause
6.86/6.98	unsat
