Migrated from folder: dusa/solution_getter_maybe