0.00/7.59	c found falsified original clause
9.88/10.25	unsat
