Statement: the number of students enrolled at st andrews university is 600

Input Table: north state conference

Step 1: Select rows where 'institution' is 'st andrews university'.
institution location founded type enrollment nickname joined left current_conference
anderson university anderson , south carolina 1911-01-01 private 2907 trojans 1998-01-01 2010-01-01 sac
appalachian state university boone , north carolina 1899-01-01 public 17589 mountaineers 1930-01-01 1967-01-01 socon ( sun belt in 2014) (ncaa division i)
catawba college salisbury , north carolina 1851-01-01 private 1300 indians 1930-01-01 1989-01-01 sac
coker college hartsville , south carolina 1908-01-01 private 1200 cobras 1991-01-01 2013-01-01 sac
east carolina university greenville , north carolina 1907-01-01 public 27386 pirates 1947-01-01 1962-01-01 c - usa ( the american in 2014) (ncaa division i)
elon university elon , north carolina 1889-01-01 private 6720 phoenix 1930-01-01 1989-01-01 socon ( caa in 2014) (ncaa division i)
guilford college greensboro , north carolina 1837-01-01 private 2706 quakers 1930-01-01 1988-01-01 odac (ncaa division iii)
high point university high point , north carolina 1924-01-01 private 4519 panthers 1930-01-01 1997-01-01 big south (ncaa division i)
lenoirrhyne university hickory , north carolina 1891-01-01 private 1983 bears 1930-01-01, 1985-01-01 1974-01-01, 1989-01-01 sac
longwood university farmville , virginia 1839-01-01 public 4800 lancers 1995-01-01 2003-01-01 big south (ncaa division i)
mars hill college mars hill , north carolina 1856-01-01 private 1370 lions 1973-01-01 1975-01-01 sac
newberry college newberry , south carolina 1856-01-01 private 949 wolves 1961-01-01 1972-01-01 sac
university of north carolina at pembroke pembroke , north carolina 1887-01-01 public 6433 braves 1976-01-01 1992-01-01 peach belt (pbc)
presbyterian college clinton , south carolina 1880-01-01 private 1300 blue hose 1965-01-01 1972-01-01 big south (ncaa division i)
queens university of charlotte charlotte , north carolina 1857-01-01 private 2386 royals 1995-01-01 2013-01-01 sac
st andrews university laurinburg , north carolina 1958-01-01 private 600 knights 1988-01-01 2012-01-01 aac (naia)
western carolina university cullowhee , north carolina 1889-01-01 public 9608 catamounts 1933-01-01 1976-01-01 socon (ncaa division i)

Step 2: Select rows where 'enrollment' is 600.
institution location founded type enrollment nickname joined left current_conference
st andrews university laurinburg , north carolina 1958-01-01 private 600 knights 1988-01-01 2012-01-01 aac (naia)

Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
institution location founded type enrollment nickname joined left current_conference
st andrews university laurinburg , north carolina 1958-01-01 private 600 knights 1988-01-01 2012-01-01 aac (naia)

Final output table:
verification_result
TRUE

Prediction: TRUE