После K:h5 возникает 6-фигурный эндшпиль и можно воспользоваться таблицами Налимова(Nalimov Tablebase). Белые матуют в 31 ход. Правда после Ra3 придется отдать ладью за пешку, и выигрывать ферзем против ладьи. Люди этот эндшпиль не любят и иногда в нем ошибаются. Поэтому белые наверняка выиграли бы попроще.