0.00/8.19	c found falsified original clause
9.96/10.22	unsat
