working walksat, working improved walksat