use walk sat algorithm to solve SAT NP problem