Сколько лет нужно официально прожить на территории Сан-Марино, чтобы получить гражданство?