Set_cover_problem loading ...