Question: Who was the president of Czechoslovakia during the dissolution of the Warsaw Pact?
Sentence: 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.
Answer in sentence: yes