24.84/25.96	c found falsified original clause
28.72/28.89	unsat
