0.00/8.66	c found falsified original clause
10.28/10.45	unsat
