満足化可能性
【まんぞくかかのうせい】
【manzokukakanousei】
可满足性