Старенький но лучше чем ничего. Я бы посмотрел еще 15ку того же года, возможно в ваш бюджет тоже есть варианты? Как правило на такие старые устройства цена не отличается практически. Но там i7 проц 4х ядерный, он шустрее 13ки намного, даже в сравнении с 13ками до 18го года с стоковым i5. Если оперативки мало (будет 8 например) - там можно еще доставить будет самому, б/у память копейки сейчас. Я сам работал на таком, мой первый макбук был именно 2012го года с матовым екраном (тогда за доплату можно было ставить, если найдете такой - для программирования просто топ).