Sie betrachten gerade T-DSL SAT.