結果 : 3 sat problem example