25.43/27.29	c found falsified original clause
29.21/30.39	unsat
