multiple constraints
SMAF Binary
multiple RO1