Hybrid Solvers For The Boolean Satisfiability Problem: An Exploration