3/4 cup dried cranberry beans, borlotti beans, or roman beans, or 11/2 cups shelled fresh cranberry beans