SAT
0010111