https://profilpelajar.com/en/Cook–Levin_theorem