Задача 11

Семь камней весом 1, 2, 3, 4, 5, 6 и 7 тонн можно перевезти в нескольких грузовиках одинаковой грузоподъёмности. Хватит ли для перевозки четырёх таких грузовиков?