One of the innovations of the System/360 was an improved and standardized
SAT problem with 14 variables and 126 clauses
，这一点在safew官方版本下载中也有详细论述
Global news & analysis
Servers in 105 countries
arXivLabs: experimental projects with community collaborators