/* Minimizar o custo de contratacao de instrutores */
min: 100 JC +75 JM+25 JT+100 MC+75 MM+25 MT+100 PC+75 PM+ 25 PT;
/* Atender teto de horas disponiveis por instrutor */
joao: JC + JM + JT <= 530;
mari: MC + MM + MT <= 800;
paul: PC + PM + PT <= 400;
/* Atender teto de orcamento disponivel por curso */
orcC: +21.5 JC +21.5 MC +21.5 PC <= 18000;
orcM: +51.5 JM +51.5 MM +51.5 PM <= 24000;
orcT: +11.5 JT +11.5 MT +11.5 PT <=  8000;
/* Atender piso de horas a serem oferecidas por curso */
cera: JC + MC + PC >= 600;
marc: JM + MM + PM >= 400;
tece: JT + MT + PT >= 200;
/* Compromisso de proporcao do tempo dedicado entre instrutores */
JoMa: +800 JC +800 JM +800 JT -530 MC -530 MM -530 MT = 0;
MaPa: +400 MC +400 MM +400 MT -800 PC -800 PM -800 PT = 0;