/prolog/problems/clp_fd/magic_1/