В корзине было 14 грибов: 4 груздя, 5 сыроежек, а остальные - боровики. Сколько боровиков было в корзине?