loading SCIP...
60 78 true
0 1 2 3 7 10 11 13 14 15 16 21 25 29 30 32 33 34 38 39 40 42 43 44 47 49 50 51 53 54 55 56 57 58 59 62 63 64 68 69 70 71 72 73 75 76 77 78 79 80 82 83 84 86 87 89 91 93 94 97