N-Queens Solver with Variable/Value Labeling