n_SAT