A Sat Solver (SAT4J) for finding multiple solutions to the NQueens problem