h2. Date de intrare

Fisierul $amlei.in$ contine $W$ teste. Pe prima linie a fiecarui test se gasesc numerele naturale $n$, $t$ si $u$, unde $t$ si $u$ reprezinta numarul de conjunctii elementare din care sunt formate fiecare din cele doua formule. Pe a doua linie se afla $n*t$ numere intregi nenule cuprinse intre $-n$ si $n$, reprezentand variabilele din prima formula atunci cand ignoram parantezele si convenim ca $i$ si $-i$ semnifica $a{~i~}$, respectiv $NOT$ $a{~i~}$. Pe a treia linie este descrisa in mod similar cea de-a doua formula prin $n*u$ numere intregi.

Fisierul $amlei.in$ contine $W$ teste. Pe prima linie a fiecarui test se gasesc numerele naturale $n$, $t$ si $u$, unde $t$ si $u$ reprezinta numarul de conjunctii elementare din care sunt formate fiecare din cele doua formule. Pe a doua linie se afla $n*t$ numere intregi nenule cuprinse intre $-n$ si $n$, reprezentand variabilele din prima formula atunci cand ignoram parantezele si convenim ca $i$ si $-i$ semnifica $a{~i~}$, respectiv NOT $a{~i~}$. Pe a treia linie este descrisa in mod similar cea de-a doua formula prin $n*u$ numere intregi.

De exemplu, formula $( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ )$ ar fi descrisa prin secventa de numere: $1 -3 2 3 -1 -2$.