### Database Schema:
CREATE TABLE country (
	id	INTEGER	NOT NULL	PRIMARY KEY,
	country_name	TEXT	NULL	DEFAULT NULL
);

CREATE TABLE ranking_criteria (
	id	INTEGER	NOT NULL	PRIMARY KEY,
	ranking_system_id	INTEGER	NULL	DEFAULT NULL,
	criteria_name	TEXT	NULL	DEFAULT NULL,
	foreign key (ranking_system_id) references ranking_system (id)
);

CREATE TABLE university (
	id	INTEGER	NOT NULL	PRIMARY KEY,
	country_id	INTEGER	NULL	DEFAULT NULL,
	university_name	TEXT	NULL	DEFAULT NULL,
	foreign key (country_id) references country (id)
);

CREATE TABLE university_ranking_year (
	university_id	INTEGER	NULL	DEFAULT NULL,
	ranking_criteria_id	INTEGER	NULL	DEFAULT NULL,
	year	INTEGER	NULL	DEFAULT NULL,
	score	INTEGER	NULL	DEFAULT NULL,
	foreign key (university_id) references university (id),
	foreign key (ranking_criteria_id) references ranking_criteria (id)
);

CREATE TABLE university_year (
	university_id	INTEGER	NULL	DEFAULT NULL,
	year	INTEGER	NULL	DEFAULT NULL,
	num_students	INTEGER	NULL	DEFAULT NULL,
	student_staff_ratio	REAL	NULL	DEFAULT NULL,
	pct_international_students	INTEGER	NULL	DEFAULT NULL,
	pct_female_students	INTEGER	NULL	DEFAULT NULL,
	foreign key (university_id) references university (id)
);

CREATE TABLE ranking_system (
	id	INTEGER	NOT NULL	PRIMARY KEY,
	system_name	TEXT	NULL	DEFAULT NULL
);

### User's Query:
How many percent of universities got a score above 80 under International criteria in 2016? Among them, name the university which got the highest score.

### Extra Knowledge:
got a score above 80 refers to score > 80; under International criteria refers to criteria_name = 'International'; in 2016 refers to year = 2016; highest score refers to MAX(score)
SELECT CAST(SUM(CASE WHEN T2.score > 80 THEN 1 ELSE 0 END) AS REAL) / COUNT(*), ( SELECT T3.university_name FROM ranking_criteria AS T1 INNER JOIN university_ranking_year AS T2 ON T1.id = T2.ranking_criteria_id INNER JOIN university AS T3 ON T3.id = T2.university_id WHERE T1.criteria_name = 'International' AND T2.year = 2016 AND T2.score > 80 ORDER BY T2.score DESC LIMIT 1 ) AS max FROM ranking_criteria AS T1 INNER JOIN university_ranking_year AS T2 ON T1.id = T2.ranking_criteria_id INNER JOIN university AS T3 ON T3.id = T2.university_id WHERE T1.criteria_name = 'International' AND T2.year = 2016