(2.75x>= x + y+ z + w) and (3y>= x + y + z + w) and (5z>=x + y + z + w) and (6w>=x + y + z + w)