SAT
0011100