On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT