loading SCIP...
63 78 true
0 1 2 7 9 10 13 14 16 18 19 22 23 24 25 26 28 29 30 31 32 34 35 36 37 38 41 42 43 44 47 49 50 51 52 53 54 55 56 57 59 61 63 64 65 66 68 71 73 75 76 77 79 80 85 88 89 90 91 94 96 97 98