3x 5y u2264 20