loading SCIP...
29 11313 true
0 2 6 12 14 15 17 19 20 23 25 28 29 30 33 41 44 45 51 52 56 60 64 68 82 83 85 93 98