При рытье колодца глубиной свыше 9 м за первый метр заплатили 1000 руб., а каждый следующий метр стоил на 500 руб. больше, чем предыдущий. Кроме того, дополнительно было уплачено 14250 руб. Определите глубину колодца, если средняя стоимость 1 м оказалась равной 6250 руб.