enumerable_solution_exo