Diferențe pentru problema/constrangere între reviziile #7 si #8

* Fiecare variabilă va apărea o singură dată în constrângere.
* Numărul de constante nu depășește numărul de variabile + [$1$].
* Fiecare constantă $C$ respectă restricția $-100 ≤ C ≤ 100$.

* Lungimea unei secvențe nu depășește $100$ de caractere.

* Lungimea unei constrângeri nu depășește $100$ de caractere.

* Constrângerea este corectă sintactic.
* Oricum s-ar da valori variabilelor, cu respectarea domeniilor lor de definiție, orice rezultat intermediar folosit la evaluarea constrângerii se va afla în intervalul $[-2[^15^], 2[^15^] - 1]$.