That's based off Vega VII at 1800Mhz boost clock(60CU*1800Mhz=13.8Tflop).
I don't see the point in expecting 1800Mhz base clocks on a console.
Vega architecture;
56CU @1600Mhz = 11.46TF
56CU @1500Mhz = 10.75TF
60CU @1600Mhz = 12.26TF
60CU @1500Mhz = 11.49TF
My money is on 56CU @ 1600Mhz, with...