loading SCIP...
13 37953 true
0 2 7 11 15 18 44 45 53 54 65 75 84