0.00/8.81	c found falsified original clause
10.08/10.64	unsat
