первая картинка сомнений не вызывает , по второй так сразу (при том количестве что уже выпито ) пока ответить не могу .единственное что могу сейчас посоветовать составлять систему абстрактно не привязываюсь к тому что элементы повторяются (так будет проще и меньше вариантов допустить ошибку ), а при правильном составлении системы не важно все элементы разные или одинаковые система должна иметь одно единственное решение