/prolog/problems/clp_r/linear_opt_3/