Title: New Selected Vocabulary of SAT