SAT is known to be NP-complete. That is the Cook/Levin Theorem.