Рассказывается верхняя оценка O(2^{0.23248 L) в худшем случае для задачи выполнимости формулы над базисом {конъюнкция, дизъюнкция, отрицание}, где L - размер формулы.