void Back() {
	int k = 1, isS, isV;
	Init(k);
	while (k > 0) {
		isS = 0; isV = 0;
		if (k <= n)
			do {
				isS = Succesor(k);
				if (isS) isV = Valid(k);
			} while (isS && !isV);
			if (isS)
				if (Solution(k))
					Print();
				else {
					k++;
					Init(k);
				}
			else
				k--;
	}
}