Boolean ContactDepthTracker.IsSolved { get; }