9.77/11.06	unsat
