В данной работе получена более сильная верхняя оценка $O(2^{.389667m})$ (по сравнению с $O(2^{.4058m})$, полученной ранее) в худшем случае для задачи выполнимости схемы над полным бинарным базисом, где m - число гейтов схемы.