Em uma construtora, há pelo menos um eletricista que
também é marceneiro e há pelo menos um eletricista que
também é pedreiro. Nessa construtora, qualquer eletricista
é também marceneiro ou pedreiro, mas não ambos. Ao
todo são 9 eletricistas na empresa e, dentre esses, são
em maior número aqueles eletricistas que são também
marceneiros. Há outros 24 funcionários que não são
eletricistas. Desses, 15 são marceneiros e 13 são pedreiros.
Nessa situação, o maior número de funcionários
que podem atuar como marceneiros é igual a
