8.87/10.05	c found falsified original clause
8.87/10.81	unsat
