前言：做题笔记。
下载解压查壳。
64IDA打开。
查找字符串去。
跟进BaseCTF{ 找到 main
头部：
尾部：
程序：
选择题，咳，动漫迷可以做，也能得flag。(我不怎么看动漫。。)
告知我们，输入有20个 且答案只能在A B C D 中产生。
中间运算有一大串数据判断：
这种格式 大数据 等 直接用python的Z3约束求解器就好。
这题程序逻辑很简单，主要考查的就是Z3的使用。(我也不会，网上看呗，问豆包什么的。)
脚本：
照抄原程序就行。以& && 作为 s.add的分割。
(py用的不熟，只能这么写)
代入验证：
BaseCTF{CDBBDCAAABBDBCCBCCAC}
