loading SCIP...
60 62 true
0 2 4 8 10 11 12 13 15 16 18 23 25 27 28 29 30 31 32 37 40 41 42 45 46 47 48 51 52 53 54 55 56 57 59 60 61 62 63 64 67 68 71 72 75 76 78 79 81 82 84 85 86 90 93 95 96 97 98 99