What minimal systolic blood pressure (mmHg) can the patient be assumed to have if a radial pulse is felt?