El quinto premio vendido en Atocha, repartido entre 1.300 décimos adquiridos por viajeros y empresas