loading SCIP...
64 94 true
0 1 3 4 5 8 11 16 17 19 20 22 23 24 26 27 30 32 33 37 38 40 42 43 44 45 46 47 49 50 52 53 54 55 56 57 59 60 61 62 67 68 70 73 74 75 76 77 79 80 81 82 83 84 85 86 88 89 91 92 93 94 96 99