The stock price of Atlantis Corp. is $42 today. The risk-free rate of return is 10% and Atlantis Corp. pays no dividends. A call option on Atlantis Corp. stock with an exercise price of $40 and an expiration date six months from now is worth $5.00 today. A put option on Atlantis Corp. stock with an exercise price of $40 and an expiration date six months from now should be worth __________ today.