The minimum diameter of working chamber of a circular manhole should be