Basic enumeration algorithm
represent one combination of value assignments of all variables (a state) as n-digit binary value
The value of k-th digit represents the value of xk, where 0 means false, and 1 means true.
start from 0 to 2n-1, check clauses
inefficient, must cheek all 2n states