(
)
Constraint1
Goal1