Rupee slips 13 paise to 71.93 against US dollar on higher crude oil prices