k-SAT -- A DNA-based random walk method for solving k-SAT -- Solving computational