Resultado de la búsqueda: sacar repetidos con awk