A Hybrid Quantum Genetic Algorithm and Local Search based DPLL for Max 3-SAT Problems