A Study of the Parallelization of Hybrid SAT Solver using CUDA