loading SCIP...
17 31078 true
0 1 26 29 38 43 44 45 47 60 61 64 67 68 69 81 89