column value
英文名稱 unsatisfiability
中文名稱 不可滿足性