Added ProblemManager