ProblemSolver.cpp charset fix