working walksat