0 0 1 0 
UNSAT
0 1 
