Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Listar todas as instituições financeiras na África que oferecem finanças compatíveis com a Sharia.
 ###Tabelas: 
CREATE TABLE shariah_compliant_finance (institution_id INT, institution_name TEXT, country TEXT, shariah_compliant BOOLEAN); INSERT INTO shariah_compliant_finance (institution_id, institution_name, country, shariah_compliant) VALUES (1, 'Islamic Bank', 'Egypt', TRUE), (2, 'Standard Bank', 'South Africa', FALSE), (3, 'Al Baraka Bank', 'Kenya', TRUE);
SELECT institution_name FROM shariah_compliant_finance WHERE country IN ('Africa') AND shariah_compliant = TRUE;