For the test to be fair for LLMs, the SAT instance should be reasonably large, but not too big. I can't just give SAT problems with thousands of variables. But also it shouldn't be too easy.
山东省委召开全省干事创业担当尽责确保“十五五”开好局工作会议，动员全省上下进一步干事创业、担当尽责。山东将通过实地调研、政务服务便民热线等方式，广泛征求意见建议，省、市、县（市、区）分别研究确定集中推进的重点民生实事，从一开始就让群众参与、受益、可感可及。，详情可参考搜狗输入法下载
Израиль нанес удар по Ирану09:28，这一点在同城约会中也有详细论述
第十六条 有两种以上违反治安管理行为的，分别决定，合并执行处罚。行政拘留处罚合并执行的，最长不超过二十日。