Efter fyra timmars diskussion beslöts: