What are the ids of songs that are available in either mp4 format or have resolution above 720?
SELECT f_id FROM files WHERE formats  =  "mp4" UNION SELECT f_id FROM song WHERE resolution  >  720
MP4 formatında bulunan veya 720'nin üzerinde çözünürlüğü olan şarkıların kimlikleri nelerdir?