If i was to guess, i would guess that it was Bitlocker vuln, CVE-2018-12037, where the bitlocker crypto implementation is left to the junk SSD 'self encrypting' feature which is found to be broken. I have my doubts they cracked Veracrypt, LUKS or filevault2 with operator supplied keys. Or they got the keys from Microsoft/Apple (filevault2 and bitlocker will escrow the keys to the OS vendor in home editions).