26.12/28.23	c found falsified original clause
29.60/31.47	unsat
