Boolean Result.IsSolved { get; }