4 calls to
MAXSAT
ACTIVATE
ACTIVATE
ACTIVATE
ACTIVATE