user: Question: What is the INE code of the municipality whose official name is Berantevilla? 
Columns: ['Official name', 'INE code', 'Name in Spanish', 'Name in Basque', 'Population (2007)']
Types: ['text', 'real', 'text', 'text', 'real']
Sample row: ['Alegría-Dulantzi', 1001.0, 'Alegría de Álava', 'Dulantzi', 2305.0]
SQL:

assistant: SELECT "INE code" FROM "Table" WHERE "Official name" = 'Berantevilla';