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: