結果 : 3-sat problem example