Вот что значит форум технарей. Понадобилось всего 18 страниц, чтобы дойти до понимания того, что условия задачи неоднозначны. И результат (взлетит/не взлетит) зависит только от того, какие дополнительные условия вводит доказывающий.

Браво!