10x 3y u2264 3