这份坦然，或许也来自家人给的底气。她早早告知父母，如果游戏还是做不出来，可能要把老家的房子也抵押出去。父母没有反对，只是默默支持。去年刚退休的父亲，甚至把一半退休金悄悄转给了她，支撑着她的日常开销。她从未提过自己的经济困境，父亲只是转来了那笔钱，什么也没说。
В России ответили на имитирующие высадку на Украине учения НАТО18:04
，这一点在服务器推荐中也有详细论述
For SAT problems with 10 variables and 200 clauses, it usually output SAT as expected, but the assignment was never valid (Examples: first, second). Once it claimed a SAT formula was UNSAT. For this reason I didn't bother testing with more variables for the SAT case.
— Jake Lucky 🔜 GDC (@JakeSucky) June 5, 2024