9.42/11.09	unsat
