7.97/9.46	c found falsified original clause
11.65/11.75	unsat
