0.00/8.29	c found falsified original clause
10.58/10.60	unsat
