RUN: $(NQueensSat)