Return the names of songs for which format is mp3 and resolution is below 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