Чтобы очистить аквариум от лишних водорослей, Женя запускает туда улиток. Для очистки одного аквариума нужны или 4 крупные, или 1 крупная и 5 мелких, или 3 крупных и 3 мелких улитки. У мальчика есть 15 крупных улиток, но в зоомагазине можно поменять любую крупную на две мелкие улитки. Чему равно самое маленькое число крупных улиток, которым ему придется поменять на мелких, если он хочет очистить 4 аквариума?