Neka je dat 4-bitni pomeracki registar sa linearnom povratnom spregom
ciji su bitovi (u i-tom stanju) obelezeni sa p_i,q_i,r_i,s_i, pocev od bita najvece tezine. 
Registar u svakom koraku prelazi iz stanja u stanje na sledeci nacin:

p_{i+1}  =  r_i xor s_i 
q_{i+1}  =  p_i 
r_{i+1}  =  q_i 
s_{i+1}  =  r_i 

Ako vazi da je (p_4, q_4, r_4, s_4) = (1, 0 , 1 , 0), odrediti pocetno stanje
(p_0, q_0, r_0, s_0). Zadatak resiti svodjenjem na SAT, a dobijenu iskaznu
formulu u CNF-u predstaviti u DIMACS formatu i pokrenuti minisat resavac.
