<human>: Question: Who was the president of Czechoslovakia during the dissolution of the Warsaw Pact?
Answer: On 1 July 1991, the Czechoslovak President Václav Havel formally declared an end to the Warsaw Treaty Organization of Friendship, Co-operation, and Mutual Assistance which had been established in 1955.
 Is the question answered in a satisfactory fashion?

OPTIONS:
- yes
- no
<bot>: yes