loading SCIP...
17 36359 true
5 11 12 15 45 50 52 58 60 62 67 71 72 75 81 93 94