Add WALKSAT