0.19/0.42	c found falsified original clause
0.19/0.48	unsat
