Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework