0.00/4.80	c found falsified original clause
0.00/6.28	unsat
