Sejam x,y,z números reais positivos tais que x+2y+3z=1211. Prove a desigualdade 6(3xy+4xz+2yz)+6x+3y+4z+72xyz≤18107.