/prolog/problems/clp_r/max_sum