max 0.142857 p13 + 0.2 p17 + 0.0 p25 + 0.0 p33 + 0.657143 p42 + 1.0 p63
st 
13 p13 +  17 p17 + 25 p25 + 33 p33 + 42 p42 + 63 p63 <= 100
end
gin 6
