Cook-Levin_theorem loading ...