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

secondarily satisfiable formula מתח
.מָתֵי	вторично выполнимая формула