What are the names of all songs that are in mp3 format and have a resolution lower than 1000?
select t2.song_name from files as t1 join song as t2 on t1.f_id = t2.f_id where t1.formats = "mp3" intersect select song_name from song where resolution < 1000