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.
ВсеОлимпиадаСтавкиФутболБокс и ММАЗимние видыЛетние видыХоккейАвтоспортЗОЖ и фитнес
，推荐阅读服务器推荐获取更多信息
Ac ƿe naƿiht freo ne sindon, for þy þe ƿe næfre ne mihton fram Ƿulfesfleote geƿitan, nefne ƿe þone Hlaford finden and hine ofslean. Se Hlaford hæfþ þisne stede mid searocræftum gebunden, þæt nan man ne mæg hine forlætan. Ƿe sindon her sƿa fuglas on nette, swa fixas on ƿere.
那天下午，我在房间打游戏，听见她在隔壁一直打电话，语气焦急，还反复辩解着什么。我走过去询问，她捂住话筒，小声告诉我，是“抖音客服”，说她误点了一个保险链接，如果不按要求操作，每月会自动扣费几百元。我心头一沉，接过电话，直接质问对方身份。对方支吾了几句后，迅速挂断了电话。