proof sketch of SAT and 3SAT