Elixir Genetic Algorithm for approximating solutions to the MaxSAT problem