8.42/9.46	unsat
