16. Cook-Levin Theorem