Para executar um muro de 30 (trinta) metros lineares, utilizando-se 3 (três) funcionários, gastou-se 2 (dois) dias de trabalho de 8 (oito) horas diárias. Considerando-se esta produção, quantas horas são usadas para 1 (um) funcionário executar 15 (quinze) metros lineares de muro?