Задача розв’язності