35.47/37.19	c found falsified original clause
38.04/43.84	unsat
