46.94/48.01	c found falsified original clause
51.94/52.09	unsat
