SAT + TDT