Improving WalkSAT for Random k-Satisfiability Problem with k > 3