Алгоритм бектрекінгу використовує евристику MRV (Minimum Remaining Values) для вибору наступної змінної. До виконання Forward Checking три нерозподілені змінні мають такі розміри доменів: = 6, = 8, = 7. FC видалив 3, 2 та 2 значень відповідно. Який розмір домену матиме змінна обрана евристикою MRV? Введіть ціле число.