不可满足性的英文翻译

中文：不可满足性