0.00/7.95	c found falsified original clause
10.47/10.67	unsat
