In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.
在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。
The probability of the event predicted can be given by Markov Model. The precision is satisfiable.
经检验，两模型可预测流域旱涝灾害发生的.时间及其概率，并具有较高的精度。
That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.
这说明所有的布局在水平轴方向上都产生一个清晰的，满足的布局。