Specifically, they solved a 20-variable SAT problem having more than 1 million potential solutions.
В частности, они решили 20-переменную задачу выполнимости булевых формул, имеющую более 1 млн потенциальных решений.