小红跑了800M要6分钟,小丽跑800M用的时间比小红短3分之1.小丽跑了800M要多长时间?