I think you should go for RedMi Note 5 Pro which is being sold for 12999/- officially or Nokia 6.1 Plus which would cost you around 14999/-. I would never go for Lenovo as they do not provide regular software updates and although RealMe has better specs, the ColorOS just sucks and is just a copy of iOS. I'm highly skeptical if they will provide software updates. If you like stock experience, then you should go for Nokia 6.1 Plus and if you like a simpler interface of MIUI, go for RedMi Note 5 Pro. Both share almost same specs.