loading SCIP...
17 31672 true
7 14 15 25 28 30 39 41 47 54 56 67 72 74 75 81 99