37.35/37.42	c found falsified original clause
37.64/41.88	unsat
