I'm pretty certain it's 20. If you drop to 17.50, you put a lot of puts at 22.5 and 25 further in the money.