First NP–Complete Problem – SAT