Проблема разрешима, но не решена.