Contribute to 401K is always a gain: you don't have to buy stock

You can simply contribute to a money market account so as to lock in the 37% gain, regardless of market conditions.  From there you can time your trade or what have you.