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.)