High-Throughput SAT Sampling · HackerTrans