充足可能性問題を解くアルゴリズム