President dos Santos met with Savimbi in Lisbon, Portugal and signed the Bicesse Accords, the first of three major peace agreements, on 31 May 1991, with the mediation of the Portuguese government. The accords laid out a transition to multi-party democracy under the supervision of the United Nations' UNAVEM II mission, with a presidential election to be held within a year. The agreement attempted to demobilize the 152,000 active fighters and integrate the remaining government troops and UNITA rebels into a 50,000-strong Angolan Armed Forces (FAA). The FAA would consist of a national army with 40,000 troops, navy with 6,000, and air force with 4,000. While UNITA largely did not disarm, the FAA complied with the accord and demobilized, leaving the government disadvantaged.