loading SCIP...
10 44016 true
0 13 18 22 28 35 57 79 80 81