But expiry in end of month, so by then,
If BTC drops to $700, (5000-700)/700*.1BTC = .614, or about a 25,000*(.49-.614) = 3100BTC loss
If BTC rises to $1000, (5000-1000)/1000*.1 = .4, or 25,000*(.49-.4) = 2250BTC gain
So if BTC is at $700, he has a 3100*$700 = $2170000 loss and if BTC is at $1000 he has 2250*$1000=$2250000 gain. Selling $2.2m worth of BTC at $850 or higher guarantees a riskless profit. It seems that the market making bot mispriced the options and someone took advantage of that ensuring an arbitrage.