8.08/10.39	c found falsified original clause
8.08/10.80	unsat
