Enunciado
Para melhorar o fluxo de ônibus em uma avenida que tem dois semáforos, a prefeitura
reduzirá o tempo em que cada sinal ficará vermelho, que atualmente é de 15 segundos
a cada 60 segundos. Admita que o instante de chegada de um ônibus a cada semáforo
é aleatório.

Para isso, a redução do tempo em que o sinal ficará vermelho, em segundo, estabelecida
pelo engenheiro foi de