Title: A genetic algorithm for the satisfiability problem