Satisfying marker testing