No, 5472*3076 to p30/p25/p24
4K = 3840*2160 to p60/p50/p48/p30/p25/p24
Seems they lied in the manual then. From page 25:
EVO Ⅱ Pro camera with a 1-inch sensor: Takes photos with a resolution of up to 20 MP (5472 x 3648), and records 5.5K video at 60 fps or 2.7K video at 120 fps, with a bit rate of up to 120 Mbps. The lens aperture is adjustable within the range of f/2.8 to f/11.