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

restricted satisfiability problem מתח
.תִכנו	ограниченная проблема выполнимости (ssn)