It is remarkable -- and, when you think about truly astronomical sized problems, kind of unsettling that when you're searching for SAT you only have to check an arbitrarily small percent of the solution space