Компактный смартфон в 2020 году

Ребят, я нид сам хэлп.
Отец хочет обновить свой Redmi 4x, который начал подвисать. Телефон хочет размерами не больше старого, то есть не более 70х140 мм. Ну немножечко чуть большим может быть. Ценник не более 12 тысяч. Я прям даже не знаю, что ему предложить. Открыл яндекс маркет, и что-то совсем грустно там всё.
Можете что-то подсказать?