adding file for writing out reductions from nQueens to SAT