0.59/1.07	c found falsified original clause
0.59/1.19	unsat
