0
satisfying
0
0
0
0
0
2
0
0
2
0
0
0
1
3
3