A recipe for enchiladas shows that 9 cups of pinto beans will produce 3 servings of enchiladas.

How many servings will 1 cup of pinto beans produce?