Simple input checker with constraint solve
得到的flag使用NSSCTF{}格式提交。