0.00/5.61	c found falsified original clause
6.88/6.96	unsat
