SMT-WhereIN (48)