mqueens problem (naive model)
introduce monotonicity to break symmetry