結果 : explain 3 sat problem using an example