S_distinct