27.60/29.52	c found falsified original clause
27.60/30.75	unsat
