7.07/7.14	c found falsified original clause
7.56/7.64	unsat
