RU-ALLRUSSIAN 1980 Problem 3
35 containers of total weight 18 must be taken to a space station. One flight can take any collection of containers weighing 3 or less. It is possible to take any subset of 34 containers in 7 flights. Show that it must be possible to take all 35 containers in 7 flights.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.