結果 : satisfiability problem example