Questão de Direito Constitucional

A Procuradoria Geral do Estado do Ceará deseja maximizar o número de servidores treinados em três módulos de capacitação jurídica (Direito Administrativo, Direito Constitucional e Processo Civil). Cada módulo possui uma carga horária associada e um custo por servidor; há uma carga horária máxima e um orçamento disponível para a campanha. O objetivo é maximizar a quantidade de servidores capacitados, respeitando as restrições de tempo disponível para treinamento e restrições financeiras. O módulo de Direito Administrativo (módulo 1) possui carga horária de 4 horas por servidor e custa R$ 200 por servidor; o módulo de Direito Constitucional (módulo 2) possui carga horária de 3 horas por servidor e custa R$ 150 por servidor; já o módulo de Processo Civil (módulo 3) possui carga horária de 5 horas por servidor e custa R$ 250 por servidor. Os números mínimos de servidores a capacitar são 80, 120 e 100 servidores para os módulos 1, 2 e 3, respectivamente. A procuradoria possui o orçamento disponível de R$ 100.000 e carga horária total disponível para o treinamento de 1.500 horas. Assinale a opção que ilustra corretamente a restrição de orçamento máximo utilizado e a função objetivo para um modelo de programação linear inteira que resolva esse problema com a potencialização do número total de servidores capacitados em todos os módulos, respeitando as restrições de orçamento e carga horária, sabendo que x_1, x_2 e x_3 são as quantidades de servidores treinados nos módulos 1, 2 e 3 respectivamente.