Choose best automorphism in fullexhaust2()