dear lord that's a big file! even for a 4K, biggest 4k file I ever had was 38.8GB and I thought THAT was big! perhaps the encoding is not done well? normally VLC can play anything I throw at it, UNLESS its coded badly and then I get problems... that could be happening in your case.