loading SCIP...
10 41141 true
0 2 28 38 45 66 73 92 97 98