punching red-card

I'm having a debate with another ref here and we cannot agree. If you see a player punch another player in the stomach ( not head ), without being provoked, would you think about a YC or a RC ? If a player is provoked ( let's say by being held illegally off the ball by pulling his shirt )...