const { value } = await reader.read();
SAT (short for "satisfiability") is a logic problem that given a boolean formula, it asks whether the boolean formula has an assignment that makes the problem true. An example boolean formula is:
。关于这个话题，同城约会提供了深入分析
The full technical report is at REPORT.md in the repo, with per-font detail, appendices, and the complete top/bottom 30 lists. Every number in this post is reproducible from the commands above on macOS with the same system fonts.
Москвичи пожаловались на зловонную квартиру-свалку с телами животных и тараканами18:04