% References cited in https://agora.t9k.dev/t/230/limiting-random-sat-thresholds-sharp-variance-and-computability