DNA and Membrane Algorithms for SAT