Pressure cook pinto beans