0.00/7.74	c found falsified original clause
10.27/11.44	unsat
