Update satisfacao.tex