39.27/39.43	c found falsified original clause
39.97/41.39	unsat
