Consider the finite 2-groups containing cyclic subgroup of index 2:

$C_{2^n}$, $C_{2^{n-1}}\times C_2$, $D_{2^n}$, $SD_{2^n}$, $QD_{2^n}$, $Q_{2^n}$.

Can every finite (non-abelian) 2-group be embedded in $H\times K$ where $H$, and $K$ are one of the groups in the list?