En el mes de abrir se matricularon 25418 veiculos:en mayo 18054 y en junio el doble de los matriculados en mayo ¿cunantos veiculos se matricularon durante los tres meses?