9.85/10.22	c found falsified original clause
9.85/12.33	unsat
