SAT
0010010