each player controlling six or more lands sacrifices enough lands to reduce his or her land total to five. each player controlling four or fewer lands may search his or her library for enough basic land to bring his or her land total to five and put those lands into play. those players shuffle their libraries afterwards.