Solvable normal subgroup