Suppose the dividend paying stock price is $20, a European put option's strike price is $20, the risk-free rate is 6%, the volatility is 20% and the time to maturity is 3 months. The stock pays dividends of $0.25 every 3 months, with the first ex-dividend date 2 months from today. What is the price of a European put option on the stock?