Database: icfp_1
Question: How many institutions are there?
SQL:
SELECT count(*) FROM inst