式476: max left parenthesis, 2.7 2 StartAbsoluteValue, "x" minus 3.5 1 , EndAbsoluteValue minus 8 , 0 , right parenthesis squared plus max left parenthesis, 2.7 2 StartAbsoluteValue, "y" minus 5.3 6 , EndAbsoluteValue minus 15 , 0 , right parenthesis squared greater than or equal to 1 squaredmax2.72x−3.51−8,02+max2.72y−5.36−15,02≥12