Game-size:
Number of mines: