Szadek, Vengeful Soul

Flying
If Szadek, Vengeful Soul would deal combat damage to a player, instead that player mills that many cards, then sacrifices a creature
they control with the highest mana value
less than or equal to the number of cards milled this way.