That's a good question.  Now the price for BTC is growing faster and almost does not fall.  Therefore it seems to me 9.5 BTC is more profitable.