6.58/8.94	c found falsified original clause
6.58/10.53	unsat
