SATISFIABILITY Англо-русский перевод SATISFIABILITY выполнимость English-Russian dictionary Tiger. Англо-Русский словарь Tiger. 2012