Random Walk Algorithms For Sat