updated progression listener
improved subset solution implementation
optimized MCP
optimized MCP