0.00/2.70	c found falsified original clause
2.88/2.96	unsat
