結果 : 3 cnf sat problem example