It appears that if the company calls to redeem the warrants @ .01, the warrant holders get a premium based on a formula described in your post on a cashless basis. In other words, my reading of that, is that you get the difference between some average price and $11.50 but you have to give notice of exercise once the warrants have been called for redemption. If it ever starts trading again.
News 
Market Data 
Discover 
