36.16/36.27	c found falsified original clause
36.55/39.51	unsat
