#define	CONSTRAINT_PROPAGATION

#include	"queens.cpp"