0.39/0.41	c found falsified original clause
0.39/0.45	unsat
