0.00/4.86	c found falsified original clause
0.00/6.13	unsat
