4 ms·It’s probably solved in ~3.4 guesses and 4 at worse - there was a proof shared recently on HNby exdsq 5y agoIt’s probably solved in ~3.4 guesses and 4 at worse - there was a proof shared recently on HN