Phase transition for Minesweeper

We prove a coarse phase transition for the game of Minesweeper: above a certain critical mine density, the game becomes unsolvable with high probability, whereas below the critical mine density it can be solved with a linear time algorithm.