0.59/0.99	c found falsified original clause
0.59/1.03	unsat
