NQueens solved by reducing it to a SAT problem