% contrainte entre x1 et x2
constraint x1 + 2 * x2 <= x3;

% contrainte SEND + MORE = MONEY
constraint R3+S+M=O+10*R4;