34.18/35.13	c found falsified original clause
39.78/39.85	unsat
