A clause string DNA algorithm for SAT