Update code/walksat.cpp