IMPROVING EXHAUSTIVE SEARCH IMPLIES SUPERPOLYNOMIAL LOWER BOUNDS