7.94/9.06	unsat
