?????????? DPLL ? ?????????????? ?????????? &# - pocket, Ryska, 2023