<human>: Does "On 1 July 1991, in Prague, the Czechoslovak President Václav Havel formally ended the 1955 Warsaw Treaty Organization of Friendship, Cooperation, and Mutual Assistance and so disestablished the Warsaw Treaty after 36 years of military alliance with the USSR." correctly answer the question of For how many years did the Warsaw Pact formally exist?
OPTIONS:
- yes
- no
<bot>: yes