0.57/0.60	c found falsified original clause
0.57/0.63	unsat
