CUD@SAT: SAT solving on GPUs