Aut-solvable group