Уважаемый Memo!

Уважаемый Memo!
Вопрос по компьютерному анализу судоку - если анализ в конце пишет "Все нормально" и набор цифр - это означает, что аналитического решения не найдено, но подбором данный судоку решается до конца однозначно?