47.51/51.60	c found falsified original clause
60.47/63.59	unsat
