0
satisfying
0
0
0
0
0
0
0
1