Randomized Iterative Best Improvement for SAT