0.00/7.86	c found falsified original clause
9.88/9.92	unsat
