satisfability-problem