Thassa's Oracle

When Thassa's Oracle enters the battlefield,
look at the top X cards of your library, where X
is your devotion to blue. Put up to one of them
on top of your library and the rest on the bottom
of your library in a random order. If X is greater
than or equal to the number of cards in your
library, you win the game.
(Each {u} in the mana costs of permanents you
control counts toward your devotion to blue.)