High-Throughput SAT Sampling