Да, теорвер он вообще такой. Я бы вообще рекомендовал бы найти какой-нибудь задачик к курсу теорвера и порешать задачки оттуда. Ну, эта задача о сундуках, например, вполне возможна в задачнике, или что-нибудь схожее там по-любому появится. И только через решение задач можно выработать какую-то интуицию в теорвере.
