0.00/8.56	c found falsified original clause
10.17/11.61	unsat
