SAT
0000010