With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: The population of Miami in 2017 was less than 466,000 .
text_B: The city covers an area of about , between the Everglades to the west and Biscayne Bay on the east ; with a 2017 estimated population of 463,347 , Miami is the sixth most densely populated major city in the United States .
SUPPORTS.