41.88/41.94	c found falsified original clause
42.74/46.17	unsat
