public static void doUpdate(int board[][], int dom[]) {
		int choiceLeft=0;
		int index=0;
		for (int i=0; i<board.length; i++) {
			for (int j=0; j<board[i].length; j++) {
				index=Builder.getVarIndex(board.length, i, j);
				if (dom[index]!=-1) {
					choiceLeft++;
				}
				else {
					board[i][j]=-1;
				}
			}
		}
        System.out.println("CHOICES LEFT: "+(choiceLeft-board.length));
		if (choiceLeft-board.length==0) {
			for (int i=0; i<board.length; i++) {
				for (int j=0; j<board[i].length; j++) {
					if (board[i][j]!=-1) {
						board[i][j]=1;
					}
				}				
			}
		}
	}