Továbbra sem értem ennek a valós felhasználhatóságát, de biztosan velem van a baj.
Eleve ebben a formában nem látom megoldhatónak a problémát (gyorsan lekódolva Juliaban is ugyanerre jutottam), másrészt ha ha a konkrét példából indulunk ki, amit írtál, akkor kvázi szolgáltatásokra való előfizetési díjak kifizetésének minimalizálásról beszélünk, aminek egészértékűnek kellene lennie, így legfeljebb arra adhatna egy modell megoldást, hogy mire fizess elő és mire nem (sum_költségek <= 80, ekkor maximum a 30+5 jöhet szóba, hiszen magán az előfizetési díjon változtatni nem tudsz).
Nem kötekszem, csak eredendően minél tovább nézem a modelljeid, általában annál kevésbé értem. :)