loading SCIP...
47 406 true
0 2 3 6 7 8 12 15 17 26 28 29 30 32 42 44 45 48 49 50 51 52 53 55 58 59 60 61 62 64 66 67 70 73 74 76 79 80 81 83 85 86 87 90 92 95 98