9.86/10.43	c found falsified original clause
9.86/11.20	unsat
