Can a computer count every solution of a 3-SAT formula in less than exponential time? For decades the answer was believed to be no: that belief is the Expone...