0.00/4.49	c found falsified original clause
0.00/6.14	unsat
