7.66/7.75	c found falsified original clause
8.14/8.23	unsat
