0.47/0.54	c found falsified original clause
0.47/0.63	unsat
