"I listened to the discussion, they knew I was the commander, and I said: 'It sounds like we can do it'."
For SAT problems with 10 variables and 200 clauses, sometimes outputted UNSAT because it couldn't find any satisfying assignment, and it would take a lot more time to find one, which is logically sound. I don't consider this as bad reasoning as it is about performance. So I tried it with only 100 clauses and it successfully found valid assignments.
，更多细节参见heLLoword翻译官方下载
Силовые структуры
他於2021年10月有了離開中國，偷渡進入美國的念頭，主要是希望把拍攝並已製作的影片公開發表，「我想要來美國是因為我當時想要把我那些影片、做好的影片發表出來，最主要的就是新疆的這個影片。」