26.95/27.43	c found falsified original clause
31.74/32.70	unsat
