//
// As NQueens0 but with fancy output
//
import java.io.File;
import java.io.IOException;
import java.util.Scanner;
import org.chocosolver.solver.*;
import org.chocosolver.solver.variables.*;
import org.chocosolver.solver.constraints.*;
import org.chocosolver.solver.search.strategy.*;
import org.chocosolver.solver.exception.ContradictionException;

public class NQueens1 {

    public static void main(String[] args) {

	int n         = Integer.parseInt(args[0]);
	Solver solver = new Solver("nqueens.0");
	//
	// q[i] = j <-> there is a queen on column j of row i
	//
	IntVar[] q    = VF.enumeratedArray("q",n,0,n-1,solver); 

	//
	// columns constraint
	//       
	for (int i=0;i<n-1;i++)
	    for (int j=i+1;j<n;j++)
		solver.post(ICF.arithm(q[i],"!=",q[j]));

	//
	// diagonal constraint
	//
	for (int i=0;i<n-1;i++)
	    for (int j=i+1;j<n;j++)
		solver.post(ICF.distance(q[i],q[j],"!=",j-i));

	//
	// instantiate variables in lexicographical order
	//
	solver.set(ISF.lexico_LB(q));

	boolean solution = solver.findSolution();
	if (solution){
	    for (int i=0;i<n;i++){
		for (int j=0;j<q[i].getValue();j++) System.out.print(".");
		System.out.print("Q");
		for (int j=q[i].getValue();j<n;j++) System.out.print(".");
		System.out.println();
	    }
	}
	System.out.println("nodes: " + solver.getMeasures().getNodeCount() + 
                           "   cpu: " + solver.getMeasures().getTimeCount());
    }
}
//
// NOTES
// (0) q[i] = j <-> row i has queen on position j
// (1) clique of not equals to
// (2) lex variable ordering
// (3) first solution
//