loading SCIP...
38 3344 true
6 10 12 13 16 17 20 22 27 30 33 34 35 36 39 40 43 44 45 47 48 50 51 52 55 62 63 64 67 68 75 79 80 85 91 96 97 99