Defrost

Destroy target snow land. For each basic land destroyed this way, its controller may search their library for a nonsnow basic land card that shares
a basic land type with it and put it onto the battlefield tapped, then shuffle their library.
Overload {4}{w} (You may cast this spell for its
overload cost. If you do, change its text by replacing
all instances of "target" with "each.")