4.2 3-SAT问题和Cook-Levin定理