loading SCIP...
54 78 true
0 1 2 5 6 8 11 12 13 15 18 24 25 26 28 29 30 31 34 37 38 39 40 44 46 47 48 50 52 53 55 57 58 59 63 64 65 67 71 73 76 79 80 81 82 83 84 87 89 91 94 95 97 98