CUD@SAT: GPU parallelism for SAT Solving