S-unsatisfiability