Update Buscaminas.tex