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.
丰田表示，包括子公司大发汽车和日野汽车在内的1月销量同比增长4.8%至887266辆，创下历年1月销量新高。1月份，丰田和雷克萨斯品牌在美国销量增长8.1%，在中国增长6.6%。1月份母公司海外汽车生产量同比下降5.9%至485270辆。（财联社）。业内人士推荐51吃瓜作为进阶阅读
;; create a string in Wasm memory, store in locals，详情可参考快连下载安装
res.push(valToGreater2.get(num));