Hello! I am thinking in buying a new phone and i have a budget of 200e to spend MAX. I am stuck between Xiaomi mi a1, Xiaomi redmi note 5 and Nubia Z17 lite. Xiaomi note 5 is the best in antutu and battery, but mi a1 has portrait mode but has the worst battery. Aso a1 has android one or android stock i dont know what that means, and note 5 has miu. About nubia i haven't made a lot of research. Whatare your thoughts? You can add suggetions too. Most important for me are battery and a good ram -at least 3gb- and rom -at least 32gb- also, i don't want mediatek or helio. Thank you!