英语 ⇄ 俄语 +

set of coded boolean expressions that are satisfiable 强调
编程	множество закодированных выполнимых булевых формул (ssn)