SAT
0101010