Large Uniform Random SAT Samples - Ruben Heradio (2020)