אנגלית ⇄ רוסית +

codes for an unsatisfiable boolean expression מתח
.תִכנו	коды невыполнимых булевых формул (ssn)