可満足性
【かまんぞくせい】
【kamanzokusei】
可满足性