I guess if enough people see this post I will update this with the full solution in a later comment. Have fun! (p.s. I've never tried embedding a puzzle, I hope it worked)
Why does Black's King go c1 and not a2? Us there still # with a2?
Either way white is going to win. Maybe a2 is a shorter mate so c1 prolongs it.
Why does Black's King go c1 and not a2? Us there still # with a2?
After ..Ka2 .Nc3+ white wins on his material superiority since the black pawn does not threaten to promote anymore. The black king survives longer than in the main line but that is irrelevant in endgame studies. What counts is finding clever defenses and not simply delaying the inevitable mate.