Это метод "а давайте уйдём от противного!" )))
Доходите до какого-то момента, проверяете ЯК кнопкой "Найти ошибки". Если их нет, нажимаете "Сохранить" и закрашиваете какую-то группу клеток. Если ваше предположение было неправильным, через пару ходов вы получите противоречие между столбцами и строками. Тогда нажимаете "Загрузить", отмечаете точно пустые клетки (поскольку если их закрасить, то получится ошибка), нажимаете "Сохранить" и решаете дальше.