This makes some tests succeed that use this deck only for its properties and not its grid: if the grid in the deck has fewer cells than the grid that is used for the test we will fail in the SATNUM mapping.