SAT
0011000