Чтобы очистить аквариум от водорослей, Вася запускает туда улиток. Для очистки одного аквариума нужно или 5 крупных улиток, или 3 крупных и 5 мелких улиток, или 2 крупных и 10 мелких улиток. У Васи есть 9 крупных улиток. В зоомагазине можно поменять любую крупную улитку на три мелких. Чему равно самое маленькое число крупных улиток, которых ему при- дется поменять на мелких, если он хочет очистить два аквариума?