walksat done