Quatro setores de uma companhia de saneamento — operação, manutenção, qualidade e gestão — possuem equipes com quantidades diferentes de funcionários. Sabe-se que a soma do número de funcionários dos setores de operação e manutenção é 18. Além disso, a soma dos funcionários dos setores de manutenção, qualidade e gestão é 30. O total de funcionários dos setores de manutenção e qualidade é 22. Por fim, sabe-se que o setor de gestão possui exatamente a metade do número de funcionários do setor de manutenção. Com base nessas informações, quantos funcionários trabalham no setor de qualidade?