0.00/9.47	c found falsified original clause
10.97/11.63	unsat
