max-walk-sat has correct reporting