SAT
SAT + DynamicSequentialOrdered