formal minesweeper

This is a thread where code puzzles (with digits) can be posted. Whoever solves the current puzzle can post the next. If a week passes without a solution, the presenter of the puzzle it has to provide one. If others didn't solve it, open floor is declared, unless there's a consensus to give it...