14.16/14.25	c found falsified original clause
14.76/14.87	unsat
