13.13. In Problem 13.12 what is the value of a six-month European put option on futures with a strike price of 60? If the put were American, would it ever be worth exercising it early? Verify that the call prices calculated in Problem 13.12 and the put prices calculated here satisfy put-call parity relationships.