Institut problem osvoenii︠a︡ Severa SO RAN