They didn't know they had all the solutions until they now proved there're no more solutions.