SAT
0011111