A Random Walk DNA Algorithm for the 3-SAT Problem