Added WalkSAT algorithm.