0.80/1.24	c found falsified original clause
0.80/1.39	unsat
