Database: world_1
Question: What are the names of the countries that are in the continent of Europe and have a population of 80000?
SQL: select name from country where continent  =  "europe" and population  =  "80000"