Проверка решаемости.