7.27/14.44	c found falsified original clause
14.65/14.72	unsat
