8.42/9.90	unsat
