SAT@P-La-Bo
1
0
16
1
10
11
0
0
0