0
satisfy
0
0
0
0
0
0
0
0
0
0
0
2
5
4
10