2.1 Basic Concepts of SAT

2.1 Basic Concepts of SAT