# N-Queens Problem
Encode the problem to place 9 queens on an 8x8 chessboard such that no two queens threaten each other. Remember that queens attack along rows, columns, and diagonals.
The problem is obviously unsatisfiable but for testing purposes create and solve the model.