They do indeed file a SAR and it doesn't matter if it's a property sale and you have legal documents.

I do somewhat regret not splitting it into £10k slabs and putting them in deposit boxes but I needed the cash for another house! :(