@chamo2074 Na3 also seems to winning but Na7 is also a win imo.
If white play b5 knight protect pawn from an unattackable square.
If black plays b5, than white both have time for Kb2-a3, also because of na7-c6-b8-a6 possible maneuver, pawn can be defended without help of king.
Na3 is better than Na7, and black should get his king closer because after b5+ right away white has no way to win this