In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.

　　在這后一種情況下，我們可以說(shuō)，是不可滿(mǎn)足的功能，否則它是滿(mǎn)足的。

　　The probability of the event predicted can be given by Markov Model. The precision is satisfiable.

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

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

　　這說(shuō)明所有的布局在水平軸方向上都產(chǎn)生一個(gè)清晰的，滿(mǎn)足的布局。