M2B2 (Explicit)

UNSATISFIED