（二）依法不予处罚的，或者违法事实不能成立的，作出不予处罚决定；
Starring: Taylor Tomlinson，这一点在safew官方版本下载中也有详细论述
Papers with Code (What is Papers with Code?)，更多细节参见快连下载安装
For UNSAT problems with 10 variables and 200 clauses, it always claimed that the formula is SAT and made up assignments (See this example).