Two tools completely agree on categorizing 85k sentences (my entire population). Now, I want to take a sample of sentences and give that to two humans. This is to check whether the tools agreed genuinely or both of them together miscategorized the 85k sentences. Now, I need to know how many sentences should I pick as a sample out of 85k sentences to check it statistically. Is there any formula or procedure to find out?