8.42/10.96	unsat
