9.47/11.06	unsat
