experimented with or-tools form google nqueens