Def/Sylow subgroup 1