SolveConfiguration SolveConfigurations.DefaultConfiguration { get; }