Was bringt SMT in Spielen?