sat_ignore_unknown_cells.pat 31 Bytes