У ювелира есть 17 драгоценных камней. Они весят 1, 2, …, 17 карат. Среди этих камней 8 рубинов, 8 изумрудов и один бриллиант. Все рубины вместе на 72 карата тяжелее, чем все изумруды. Сколько карат весит бриллиант?
У нас нету веса больше чем 17 карат.