loading SCIP...
63 78 true
0 2 3 10 13 16 18 19 20 22 23 25 26 27 28 30 31 33 34 35 36 37 38 39 40 41 42 44 45 46 47 49 50 51 52 55 57 58 59 60 62 63 64 66 67 70 71 72 73 74 76 77 79 80 83 88 89 90 91 93 94 96 98