7.87/8.64	c found falsified original clause
7.87/9.02	unsat
