With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Before 2016 , San Diego had less than 1,400,000 inhabitants .
text_B: With an estimated population of 1,394,928 as of July 1 , 2015 , San Diego is the eighth-largest city in the United States and second-largest in California .
SUPPORTS.