La luz roja y la luz verde

Una luz verde se enciende cada 3 minutos y una luz roja cada 8 min, si se encendieron simultáneamente a las 12 del mediodía, ¿a qué hora vuelven a coincidir en el encendido?

Cortesía  de Bonhomío chilón de burro manadero en primavera.