1d_rubiks_cube.fzn 139 KB