Ich hatte die Lösung sofort, abe nur weil ich wußte, dass es sich um ein Schachproblem handelt. In einer normalen Partie hätte ich wohl vorher aufgegeben.
Die Lösung definiert sich über das Ausschlußprinzip.
1. e7 ?? ist "witzlos", wegen 1... Lb5! und der bg6 läuft davon
...
Um es abzukürzen: Es bleibt eigentlich nur 1. Ke7 oder 1.Kg7 in Betracht zu ziehen und festzustellen, dass schwarz auch mit ... Lh5 nicht durchkommt.

Aber die Computer..., ich bin maßlos enttäuscht, obwohl ich ja eigentlich glaubte zu wissen, was man ungefähr erwarten kann.

Der Magellan will 90 Minuten e6-e7 ?? ziehen, dann Ke7, aber auch nach 12 Stunden mit -3,4 BE / Suchtiefe 18-1
Vorher probierte ich es mit dem kleineren Adv. Travel Chess. Auch er sieht nach ca. 90 Minuten Ke7, aber auch nach 36 Stunden, BE -5.0. (Suchtiefe 16-6).
Der Polgar findet Ke7 immerhin nach wenigen Minuten (BE: - 4,2) und verwirft e6-e7 mit BE -8.

Wenn ich dazu komme, werde ich mal den alten Mephisto III damit beauftragen, vielleicht gibts da eine kleine Sensation.

P.S. Nochmal die Position, für Leute, die's nicht kennen: W Kf8, be6; s: Ka7, Le2, bg6. Weiß am Zug

Gruß
Wolfgang