The logs show the AOT DLL properly routing the request:
Москвичей предупредили о резком похолодании09:45
，推荐阅读im钱包官方下载获取更多信息
Film type: Fujifilm Instax Mini film (sold separately) / Film size: 2 x 3-inches / Weight: 285 grams / Charging method: USB-C (on newer models) / Companion app: Yes / Other features: LCD screen, smartphone printing
For UNSAT problems with 10 variables and 200 clauses it had the same issue as others: making up assignments.