Solovay-Kitaev can now use GNAT-search