0.00/9.23	c found falsified original clause
11.07/11.12	unsat
