0.00/10.54	c found falsified original clause
12.37/13.39	unsat
