Initially I aimed to test with at least 10 formulas for each model for SAT/UNSAT, but it turned out to be more expensive than I expected, so I tested ~5 formulas for each case/model. First, I used the openrouter API to automate the process, but I experienced response stops in the middle due to long reasoning process, so I reverted to using the chat interface (I don't if this was a problem from the model provider or if it's an openrouter issue). For this reason I don't have standard outputs for each testing, but I linked to the output for each case I mentioned in results.
对依照本法第二十三条第二款规定可能执行行政拘留的未成年人，公安机关应当告知未成年人和其监护人有权要求举行听证；未成年人和其监护人要求听证的，公安机关应当及时依法举行听证。对未成年人案件的听证不公开举行。
ITmedia�̓A�C�e�B���f�B�A�������Ђ̓o�^���W�ł��B。业内人士推荐谷歌浏览器【最新下载地址】作为进阶阅读
Single-character pairs only. Multi-character confusables (rn vs m, cl vs d) are outside scope. These are a known gap in confusables.txt itself.
，推荐阅读WPS官方版本下载获取更多信息
Political or competitive considerations influencing registration approvals，推荐阅读下载安装 谷歌浏览器 开启极速安全的 上网之旅。获取更多信息
How to watch the Brit Awards 2026 for freeThe Brit Awards 2026 is available to live stream for free on ITVX.