Improving Stochastic Local Search for SAT with a New Probability Distribution