15x 7y u2265 15