loading SCIP...
51 78 true
1 8 9 10 11 13 15 18 19 20 21 22 29 30 31 32 36 37 38 42 43 44 49 50 52 54 56 57 59 60 61 62 63 64 67 70 72 73 76 81 83 84 86 88 91 92 93 94 95 97 98