0.00/8.89	c found falsified original clause
10.77/10.87	unsat
