two parallel SAT solvers using GPGPU