abpuzzle.fzn 279 Bytes