DynamicSequential.GetAnyItem and two variants. Initial code to implement SAT