hardy_1729.fzn 2.01 KB