Wait—perhaps the problem says “divisible by 7, 11, and 13” but allows smaller multiples? No—1001 is the smallest.