ResPubID22919. DNA computing, DNA algorithm, Satisfiability problem, 3-SAT problem, Random Walk Strategy, plasmids DNA, Schöning, genetics