\NiceMeat production of hotdogs and bratwursts
\hd is the number of hotdogs to be produced
\br is the number of bratwursts to be produced

max 1000 hd + 1500 br

st
   hd +  2 br <= 150
45 hd + 45 br <= 5000
 3 hd +  4 br <= 400

end