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.
Ультрафиолет или жизньЛичный опыт: чем может закончиться любовь к пляжу и солярию17 апреля 2016
，更多细节参见新收录的资料
从民族复兴的坐标轴上眺望，农业农村现代化关系中国式现代化全局和成色，“三农”是亟待补上的短板弱项，也是需要攻坚的重点难点。，详情可参考PDF资料
When do I need a split keyboard?
Путин заявил о готовности поставлять Европе нефть и газ19:01