Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability