Before revision:  The lower bound  is obtained by exhaustively listing the hexahedral meshes with up to 11 interior vertices and which have the same boundary as the pyramid.
After revision:  The lower bound for Schneiders' pyramid is obtained by exhaustively listing the hexahedral meshes with up to 11 interior vertices and which have the same boundary as the pyramid.