28.37/28.48	c found falsified original clause
29.25/31.83	unsat
