String Solution.ResultFileName { get; }