* $1 ≤ N ≤ 20$
* $1 ≤ S ≤ 500$

* Daca cheia solutiei este $-1$, atunci se va afisa pe o singura linie valoarea $-1$.

* Variabilele din expresie se vor scrie ca $N$ litere mici începând în ordine crescătoare de la litera $a$.
* Dacă există mai multe expresii care să genereze şirul de <tex>2^N^</tex> biţi se acceptă oricare.
* Operaţia $xor$ reprezintă operaţia de disjuncţie exclusivă realizată pe biţii operanzilor. În Pascal, operatorul corespunzător este $xor$, iar în $C/C++$ acest operator este $^$. De exemplu, <tex>20\ xor \ 14 = 26</tex>.