Simple Genetic Algorithm for SAT Problem