SMT 2. Change Option