Genetic algorithm for approximating the solution to Maximum Satisfiability.