[计] 不可满足性

学英语单词