A 43-year-old man with chronic hepatitis and liver cirrhosis is admitted with upper GI bleeding. He has marked ascites and shows multiple telangiectasias, liver palmar erythema, and clubbing. A diagnosis of bleeding esophageal varices secondary to portal hypertension is made. Portal pressure is considered elevated when it is above which of the following?