A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility