Is it always supposed to be solvable? I can't see a solution to:
I'm afraid not - like with traditional Minesweeper, you sometimes have situations where you have no choice but to guess.