SAT
0000111