El objetivo es: Gt (Γl, Γg,S), Mgo ( COEin < x), Mlo (COEout<y)