The maximum thickness of concrete floor of a cement warehouse is