loading SCIP...
46 1047 true
0 6 7 9 10 12 16 18 19 22 23 26 29 32 34 35 39 43 44 45 46 50 52 54 55 58 59 60 61 62 64 67 69 76 77 78 80 82 84 85 86 87 90 91 96 98