Text this: A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems