SAT 3 -1 1 1 
SAT 16
SAT
0 1 1 
0 0 2 
0 0 0 
