SAT
0011111000