На Гудини надейся, а сам не плошай!

Компьютерные шахматные программы значительно превосходят "белковых" шахматистов, имеют коэффициент ЭЛО свыше 3000 и при проверке длинногоходовых задач или этюдов я доверяю программе Houdini. Обычно она не подводит, но иногда бывают просчёты и у неё. Вот недавний пример. Решил послать в Альбом FIDE 2010-2012 этот этюд с доминацией и любопытной игрой белого короля -

Неожиданно, директор раздела Janos Mikitovics указал здесь на неясность. Чёрные могут сыграть 8...Kxa3!! 9.Nc4+ Nxc4 10.c8Q Na5  11.Qc3+ Ka4 12.Qc2+ Ka3 13.Qd3+ Kb4 14.Qe4+ Kc5 15.Qe7+ Kb6 16.Qb4+ (16.Qxg5 Bb8 17.Qd8+ Bc7) 16...Ka6 17.a4 Bb6 18.Qb5+ (18.Qe7 Ka7 19.Qxg5 (19.Qe5 Bd8 (19...Nb3 20.Qxg5 Be3) 20.Qd4+ Bb6 21.Qd5 Bc7 22.Qc5+ Kb8 23.Qe7 Nc6 24.Qxg5 Ne5+ 25.Ke2 f3+ 26.Kd2 Nc4+ 27.Kd1 Ne5) 19...Bc7) 18...Ka7 19.Qxg5 Bc7 20.Qc5+ Kb8  и возникает такая позиция -

Здесь и Houdini и Rybka оценивают позицию выше 3,5, но пути к выигрышу не показывают, "топчутся" на месте.  По 6-ти фигурным таблицам Налимова, без белой пешки a4 и чёрной f4 - ничья!

Похоже, что здесь крепость и даже белая пешка a4 не в состоянии помочь. В начале показалось, что таким образом, этюд погиб.

Но потом, при внимательном просмотре, вызвало сомнение игра компа начиная с 11 хода. Программа почему-то стремится оттеснить черного короля в угол доски, которому того и надо - ведь там крепость! Видимо она(программа) действует по алгоритму для обычного эндшпиля - гнать короля в угол и там пытаться матовать. А здесь нужно играть по позиции, т.е. действовать наоборот - мешать королю уйти в угол и использовать разброс чёрных фигур.