0.29/1.40	c found falsified original clause
0.29/1.53	unsat
