28.80/33.41	c found falsified original clause
28.80/34.50	unsat
