is solvable. also obviously is abelian and hence solvable. thus is solvable. the commutator subgroup of is a normal subgroup of so either
or because is simple. but because is not abelian. thus and hence for all so is not solvable which obviously
implies that is not solvable because every subgroup of a solvable group is solvable.