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.
（二）拒不执行公安机关依照《中华人民共和国反家庭暴力法》、《中华人民共和国妇女权益保障法》出具的禁止家庭暴力告诫书、禁止性骚扰告诫书的；
Филолог заявил о массовой отмене обращения на «вы» с большой буквы09:36，推荐阅读雷电模拟器官方版本下载获取更多信息
该项目在各地政府及公益机构等相关单位指导下走访上干户困难家庭，成功为213间困境儿童打造专属的学习与生活空间，其中包含女生房间119间，男生房间94间。。搜狗输入法下载是该领域的重要参考
In the 18 January incident, protesters interrupted a service in the church by chanting "ICE out" and "Justice for Renee Good", the mother of three who was fatally shot by a US Immigration and Customs Enforcement (ICE) officer last month in Minneapolis.，这一点在搜狗输入法2026中也有详细论述
Платон Щукин (Редактор отдела «Экономика»)