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.

　　經檢驗，兩模型可預測流域旱澇災害發(fā)生的時間及其概率，并具有較高的精度。

　　That means all of the layouts produce a nonambiguous, satisfiable layout along the horizontal axis.

　　這說明所有的布局在水平軸方向上都產生一個清晰的，滿足的布局。