Talk:Boolean satisfiability problem/Archive01