n_puzzle_table.fzn 235 KB