loading SCIP...
13 37781 true
0 1 2 8 24 26 30 34 35 52 57 71 73