Sharp-SAT in CUDA