I would sell them
I think selling that 10 btc now is not a good idea because we can still make a profit by just holding for a few more days. If you ask me i will just hold and after halving i will sell the 4 btc and use it to start my own business in real life and the rest is i will use it as a capital for trading altcoins in different public exchangers so that i can grow that leftover amount easily.