Задача с олимпиады ЮМШ 29.01 Мастер хочет сделать орган из 17 труб различной длины. Утром 01.01 ему привезли 17 одинаковых по длине труб. За один день он может обработать любые 13 труб, укоротив каждую из них на 1 см. Сможет ли он изготовить орган к вечеру 30 января?