SMT Shifts